ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-11 21:32:57 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/os/src
History
Christian Helmuth 92bdcbf1fe ps2: initially set all keyboard LEDs off 
This ensures a safe initial state and also informs the BIOS (resp.
notebook keyboards with dual-use keys for numpad) about our
assumptions.
2019-07-09 15:57:32 +02:00
..
app
sequence: add keep-going feature
2019-05-16 13:11:03 +02:00
drivers
ps2: initially set all keyboard LEDs off
2019-07-09 15:57:32 +02:00
init
timeout: use uint64_t for all plain time values
2019-05-06 16:15:26 +02:00
lib
vfs: fix empty-node handling in inline fs
2019-06-13 12:22:49 +02:00
server
clipboard: allow for dynamic reconfiguration
2019-07-09 08:58:38 +02:00
test
Remove warning exec_static_constructors() warning
2019-07-09 08:58:38 +02:00