A minimalistic operating system