genode/repos/ports/src
Alexander Boettcher 21e86227bc seoul: make input available via bios
Enables us to interact with GRUB bootloader during early boot.

Issue #1702
2015-09-30 15:48:11 +02:00
..
app seoul: make input available via bios 2015-09-30 15:48:11 +02:00
lib Override libc access in Noux plugin 2015-09-30 12:20:39 +02:00
noux base: redesign object pool using lambda interface 2015-09-09 15:14:28 +02:00
noux-pkg tool_chain: update GCC to version 4.9.2 2015-05-26 09:39:49 +02:00
test vbox_pointer: policy-based shape selection 2015-06-22 14:43:36 +02:00
virtualbox Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00