mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 15:32:25 +00:00
parent
debec59e30
commit
ae5e5cefc1
@ -183,6 +183,7 @@ namespace Arm_v7
|
||||
static void init_phys_kernel()
|
||||
{
|
||||
Board::prepare_kernel();
|
||||
Sctlr::write(Sctlr::init_phys_kernel());
|
||||
Psr::write(Psr::init_kernel());
|
||||
flush_tlb();
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user