A hobbyist microkernel development. Based and inspired by previous attempts on KeaOS/2.
- amd64 support
- Full 4-level paging support, with higher-half kernel
- Kernel dynamic memory allocation
- Early console over COM ports
- Interrupt handlers
- SMP support
- Syscalls (mainly IPC)
- Scheduling and tasking
- Userspace servers
- Drivers (disk, screen, etc)