Colonel is a basic microkernel with a protected IPC mechanism.
The latest release is a pre-0.1 demo floppy that currently only offers an ia32e (also known as em64t/amd64/x86_64) version. To test it out, simply run the floppy using qemu-system-x86_64 -fda colonel-demofloppy-ia32e-0.0.img.
While it may not be suitable for complex applications, Colonel is a great choice for those who want to understand the basics of microkernel operating systems. And with its educational focus, you can explore the framework with the peace of mind that it is not intended for "real-world" use.
Version 0.0: N/A