mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 13:47:56 +00:00
76828f25c5
By default, bender will not report any serial findings anymore, if not explicitly asked for with the 'serial' option. Without this option, an invalid ioport is reported, so that neither the kernel nor Genode core will make serial output. |
||
|---|---|---|
| .. | ||
| fiasco | ||
| foc | ||
| hw | ||
| linux | ||
| nova | ||
| okl4 | ||
| pistachio | ||
| sel4 | ||