This website requires JavaScript.
Explore
Help
Sign In
ExternalVendorCode
/
genode
Watch
1
Star
0
Fork
0
You've already forked genode
mirror of
https://github.com/genodelabs/genode.git
synced
2025-02-02 17:21:13 +00:00
Code
Issues
Actions
Packages
Projects
Releases
Wiki
Activity
genode
/
repos
/
os
/
src
/
drivers
History
Alexander Boettcher
2b6795df78
ps2: support verbose config parameter
...
Fixes
#7
2015-11-27 12:18:51 +01:00
..
acpi
acpi - report rmrr via acpi report rom
2015-11-18 12:22:08 +01:00
ahci
ahci: Reset port before access
2015-11-18 12:22:07 +01:00
audio/spec
/linux
Introduce 'spec' subdirectories to outline aspects
2015-09-16 13:58:50 +02:00
framebuffer
/spec
fb_sdl: check for X11 / prevent invalid-event flood
2015-11-04 14:09:28 +01:00
gpio
/spec
disabling verbose in gpio driver
2015-10-09 16:37:22 +02:00
input
ps2: support verbose config parameter
2015-11-27 12:18:51 +01:00
nic
/spec
nic session: fix quota check
2015-10-09 16:38:48 +02:00
platform
/spec
add missing .so files to noux_tool_chain.inc
2015-11-18 12:22:09 +01:00
rtc/spec
/x86
Introduce 'spec' subdirectories to outline aspects
2015-09-16 13:58:50 +02:00
sd_card
Introduce 'spec' subdirectories to outline aspects
2015-09-16 13:58:50 +02:00
timer
Consider byte offset in Attached_io_mem_dataspace
2015-11-18 12:22:07 +01:00
uart
Introduce 'spec' subdirectories to outline aspects
2015-09-16 13:58:50 +02:00