Alexander Boettcher
|
f7ad6cf4e6
|
seoul: support ide disk model
Issue #1702
|
2015-09-30 15:48:11 +02:00 |
|
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 |
|
Alexander Boettcher
|
d006185d90
|
seoul: add script turning Genode scenario into VM
Related to issue #1261
|
2014-10-10 13:02:31 +02:00 |
|
Norman Feske
|
6adbb9e438
|
ports: migrate to new ports mechanism
Issue #1082
|
2014-05-27 11:14:43 +02:00 |
|