ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-20 06:07:59 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
52a4293bbc
genode/repos/base-sel4/src
History
Alexander Boettcher 509e5aa776 platform(x86): report features via platform_info 
Report via platform_info the capabilities of the kernel, e.g. ACPI and MSI.

With the commit the try-catch pattern on IRQ session creation by the platform
driver is avoided.

Issue #4016
2021-05-28 14:16:44 +02:00
..
core platform(x86): report features via platform_info 2021-05-28 14:16:44 +02:00
include base: refactor VM/vCPU API 2021-02-23 12:07:18 +01:00
kernel/sel4 base: remove SPEC variables of boards (fix #3971) 2021-01-25 13:58:09 +01:00
lib base: refactor VM/vCPU API 2021-02-23 12:07:18 +01:00
timer sel4: add timer for imx7d_sabre 2019-05-06 16:15:26 +02:00