genode/repos/base-hw/ports
Alexander Boettcher cf3ff17c50 hw/x86: enable SMP support
Fixes #2929
2018-08-28 16:48:44 +02:00
..
bbl.hash hw: run core threads in privileged mode 2017-10-19 13:31:17 +02:00
bbl.port hw: run core threads in privileged mode 2017-10-19 13:31:17 +02:00
muen.hash hw/x86: enable SMP support 2018-08-28 16:48:44 +02:00
muen.patch hw/x86: enable SMP support 2018-08-28 16:48:44 +02:00
muen.port hw/x86: enable SMP support 2018-08-28 16:48:44 +02:00