genode

mirror of https://github.com/genodelabs/genode.git synced 2025-04-03 01:21:43 +00:00

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

2017-05-31 13:16:22 +02:00

2019-07-09 08:58:38 +02:00

2019-05-27 14:46:53 +02:00

2019-07-09 09:06:54 +02:00

2019-07-09 08:58:38 +02:00

2019-07-09 15:57:32 +02:00

2019-05-06 16:15:26 +02:00

README

2017-05-31 13:16:21 +02:00

This source-code repository contains genuine low-level OS components and
interfaces of Genode. It solely depends on the framework's base API.