No description
  • C 91.4%
  • Makefile 3.2%
  • Shell 2.9%
  • Assembly 2.5%
Find a file
Evalyn Goemer 4a5842e25c
Add ACPI Table Parsing
Supported Tables:
 - MADT (parsed on boot)
 - FADT (validated on boot)
 - HPET (x86-64 only) (on-demand)

ACPI Helpers:
 - void* acpi_find_sdt(char* signature)
 - bool acpi_is_hw_reduced()

Misc:
 - add rsdp request to limine
 - use 4 cores on KVM & 2 cores under TCG
 - added str(n)cmp
 - fixed LTO on loongarch64
 - removed unused buffers in 16550 UART driver
 - reorder struct in bstree to make nicer to init inline
2026-05-31 16:17:08 -04:00
extras Add KASLR Support & Add better logging macros 2026-04-26 00:51:01 -04:00
host-recipes Inital Revision 2026-04-06 10:03:41 -04:00
kernel Add ACPI Table Parsing 2026-05-31 16:17:08 -04:00
source-recipes Inital Revision 2026-04-06 10:03:41 -04:00
.gitignore Add split page allocator (spalloc) for future use 2026-05-18 14:45:51 -04:00
Jinxfile Inital Revision 2026-04-06 10:03:41 -04:00
LICENCE.txt Inital Revision 2026-04-06 10:03:41 -04:00
Makefile Add ACPI Table Parsing 2026-05-31 16:17:08 -04:00
README.md Inital Revision 2026-04-06 10:03:41 -04:00

EvalynOS

A W.I.P 64 Bit Operating System & Kernel

This kernel uses the jinx meta build system to compile. You will need all dependancies for such.

Run make bootstrap to build the required things for compiling everything else
Run make initramfs to build all packages for the initramfs and generate it
Run make run to build the ISO and run it in QEMU
Run make mkiso to build the ISO

Real Hardware

This kernel is able to run on real hardware if it meets the following requirements

  • x86-64 CPU
  • 512MB Memory
  • A PS/2 keyboard or a Serial Port
  • A Monitor or a Serial Port

Flash the evalynOS.iso file to a usb with a command such as dd if=./evalynOS.iso of=/dev/{USB_STICK} and then it can be booted om any system.