ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-04 13:04:14 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
0fa9a0dda7
genode/repos/base-sel4/ports/sel4.hash
Alexander Boettcher 4ac0bd514f sel4: add uefi boot support via mbi2 
Multiboot2 provides the ACPI RSDP pointer from the GRUB2 bootloader.

Issue #2242
2017-08-28 16:49:47 +02:00

2 lines
41 B
Plaintext
Raw Blame History

3924d15bdcc26504949236abbff4b0c3f3913955
Reference in New Issue View Git Blame Copy Permalink