Troyva — The verified campus operating system