ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-01 11:36:43 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
db20e1d87b
genode/repos/os/src/drivers
History
Alexander Boettcher db20e1d87b acpi_drv: report ACPI reset configuration 
Will be/can be used by the platform driver to reset the machine, iif the
platform driver owns the resources, e.g. the I/O ports of PCI config access.

Issue #1962
2016-05-26 15:54:13 +02:00
..
acpi acpi_drv: report ACPI reset configuration 2016-05-26 15:54:13 +02:00
ahci Remove inconsistent use of 'is_' prefix 2016-05-23 15:52:39 +02:00
audio/spec/linux linux/audio: use Server framework 2016-02-26 11:36:52 +01:00
framebuffer/spec Remove inconsistent use of 'is_' prefix 2016-05-23 15:52:39 +02:00
gpio/spec Remove inconsistent use of 'is_' prefix 2016-05-23 15:52:39 +02:00
input Remove inconsistent use of 'is_' prefix 2016-05-23 15:52:39 +02:00
nic Thread API cleanup 2016-05-23 15:49:55 +02:00
platform/spec Remove inconsistent use of 'is_' prefix 2016-05-23 15:52:39 +02:00
rtc/spec/x86 Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
sd_card sd_card: generalise RPi sd card driver 2016-04-11 12:12:23 +02:00
timer Thread API cleanup 2016-05-23 15:49:55 +02:00
uart Thread API cleanup 2016-05-23 15:49:55 +02:00
usb_block Remove inconsistent use of 'is_' prefix 2016-05-23 15:52:39 +02:00