mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-14 16:26:30 +00:00
* Instead of only implicitely update the last scheduled Cpu context with the CPU state, when entering the architecture-speficic machine exception vector, cache this data on kernel context stack, and deliver it as argument when entering the kernel via high-level language * Handle Cpu context's exception explicitely in kernel main routine * Make cached CPU state available to error handling lambda in case of Kernel::Mutex double entering (aka kernel fault) * Rename Cpu::schedule to Cpu::assign Ref genodelabs/genode#5425