Hadron is a minimal microkernel with L4 architecture.
This is still at the beginning of the development. I am using this project mainly to learn more about os development and L4 microkernels.
At this moment the kernel doesn't have any features. I'm still in the phase of implementing the minimum features for a working x86_64 kernel.
- GDT
- IDT
- SIMD
- PMM
- VMM
- Paging
- ACPI
- APIC
- IOAPIC
- LAPIC
- HPET
- APIC-TIMER
- SMP
- Multitasking
- Inter-Task-IPC
- Intra-Task-IPC
- Servers
- ZFS Server
- Syscall compliance with FreeBSD
I'll try to reuse the FreeBSD Userland.
Later I plan to port the kernel to RISC-V.
If you use the Nix Package Manager, there is a flake.nix in the root directory. Else you need to have the following packages installed:
rustc
qemu
parted
xorriso
and a C-compiler of your choice.
The build of the kernel works via the included Makefile:
make
and you can run the kernel for example via UEFI:
make run-uefi