RavSS / HAVK Ada 29 3 An attempt at a minimalistic and secure operating system. ada osdev operating-system kernel