sel4: propagate ACPI RSDP via extra bootinfo

Issue genodelabs#2242
alex-ab · Sep 1, 2017 · ebeb14c · ebeb14c
1 parent 0adbd1c
commit ebeb14c
Show file tree

Hide file tree

Showing 2 changed files with 249 additions and 278 deletions.
diff --git a/repos/base-sel4/patches/acpi_bootinfo.patch b/repos/base-sel4/patches/acpi_bootinfo.patch