|
app
|
pci_decode: initial device-report buffer of 32K
|
2022-11-17 08:00:34 +01:00 |
|
drivers
|
platform_drv: add "leave_operational" attribute
|
2022-11-17 08:00:35 +01:00 |
|
init
|
xml_node: change with_sub_node signature
|
2022-09-19 14:00:33 +02:00 |
|
lib
|
genode_c_api: add config update to block interface
|
2022-11-17 08:00:35 +01:00 |
|
server
|
nitpicker: drop double press/release events
|
2022-11-17 08:00:34 +01:00 |
|
test
|
vmm_x86: guest code page in separate asm file
|
2022-11-17 08:00:34 +01:00 |
