# Design / WIP notes

## TODO

- Better page-allocation model
- Allow for more than one IOAPIC in ACPI module
- Slab allocator for kernel structures
- mark kernel memory pages global
- kernel allocator free()