Tomasz Gajewski 4f217b19a9 hw: add CPU wake up code for rpi3 ... Moved code waking up processors for Cortex A53 before changing privilege level because sending events to higher privilege levels is not allowed. Fixed enable_mmu for Cortex A53 to properly return cpu id. Fixed starting code for secondary cores to properly initialize stacks. Added code to wake up secondary cores on rpi3. Ref #3573		2020-02-20 12:08:17 +01:00
..
hw	kernel: differentiate board-specific components	2019-05-27 14:46:52 +02:00
spec	hw: add CPU wake up code for rpi3	2020-02-20 12:08:17 +01:00
env.cc	base: remove dependency from deprecated APIs	2019-02-19 11:08:17 +01:00
init.cc	hw: switch page-tables only when necessary	2017-10-19 13:31:18 +02:00
lock.cc	hw: separate bootstrap and core strictly	2017-05-31 13:15:52 +02:00
log.cc	hw: enable Genode::raw for bootstrap	2019-11-19 14:42:23 +01:00
platform.cc	hw: do not map boot modules in bootstrap	2020-02-04 15:51:08 +01:00
platform.h	hw: instantiate pic object per cpu	2019-11-19 14:42:22 +01:00
thread.cc	hw: separate bootstrap and core strictly	2017-05-31 13:15:52 +02:00