mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
fcd62729d4
The cpu_session interface fails to be virtualized by gdb_monitor because platform-nova uses an extended nova_cpu_session interface. The problem was that threads have been created directly at core without knowledge of gdb_monitor. This lead to the situation that gdb_monitor didn't know of all threads to be debugged. Tunnel the additional parameters required on base-nova through the state() call of the cpu_session interface before the thread actual is started.
This repository contains the port of Genode to the NOVA microhypervisor. For more information on this base platform, please refer to the official website. :[http://hypervisor.org]: Official website for the NOVA microhypervisor. For information on using Genode on NOVA, please revisit the documentation at 'base-nova/doc/nova.txt':