HelenOS sources

root/kernel/genarch/src/acpi/

[..]
acpi.c madt.c
[..]
HelenOS homepage, sources at GitHub