Alexander Boettcher
8a393183e9
run: PXE+AMT support for x86 kernels
...
Issue #679
2013-04-12 10:56:27 +02:00
Alexander Boettcher
455f606f31
run: add Pulsar PXE boot support for x86 kernels
...
Issue #679
2013-04-12 10:56:27 +02:00
Alexander Boettcher
fff1a374ed
run: add Intel AMT support to x86 kernels
...
Issue #679
2013-04-12 10:56:27 +02:00
Christian Prochaska
452624e1a6
Fiasco(.OC) KDB UART driver
...
The KDB UART driver uses the Fiasco(.OC) kernel debugger console as backend
for input and output. This is useful in the case that only one UART is
available.
Fixes #665 .
2013-03-18 15:28:16 +01:00
Genode Labs
da4e1feaa5
Imported Genode release 11.11
2011-12-22 16:19:25 +01:00