risx-bachelors-project

• (21/11/2025) Just a toy kernel for now
• (23/02/2026) Impose 32-core limit for
• (27/02/2026)
  • Impose 4K pages only for simplicity
  • Impose Limine revision 4
  • Impose uint64_t as the type used to represent physical addresses.
• (28/02/2026) Forbid malloc in the kernel
• (03/03/2026) Keep in kernel:
  • IPC (message passing)
  • Memory management mechanism (policy in userspace!)
  • Process creation mechanism (policy in userspace!)
  • Scheduling
• (08/03/2026) Focus on UEFI machines from now on
• (10/03/2026) TODO: fix kernel stacks later
• (16/03/2026) Adopt style guide close to Linux kernel
• (18/03/2026) ACPI <2.0 supported