MONOLITH: An experimental non-Unix operating system for x86