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 |
||
---|---|---|
.. | ||
spec-hw_arndale.mk | ||
spec-hw_imx31.mk | ||
spec-hw_imx53_tz.mk | ||
spec-hw_imx53.mk | ||
spec-hw_odroid_xu.mk | ||
spec-hw_panda.mk | ||
spec-hw_pbxa9.mk | ||
spec-hw_rpi.mk | ||
spec-hw_vea9x4_tz.mk | ||
spec-hw_vea9x4.mk | ||
spec-hw.mk |