mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 06:07:59 +00:00
b8ba3a7a22
Kernel::Processor was a confusing remnant from the old scheme where we had a Processor_driver (now Genode::Cpu) and a Processor (now Kernel::Cpu). This commit also updates the in-code documentation and the variable and function naming accordingly. fix #1274 |
||
---|---|---|
.. | ||
import | ||
mk |