parent
e5b78a6494
commit
7ca56e3fc4
|
@ -24,6 +24,8 @@ extern int _mon_kernel_entry;
|
||||||
|
|
||||||
void Kernel::init_trustzone(Pic * pic)
|
void Kernel::init_trustzone(Pic * pic)
|
||||||
{
|
{
|
||||||
|
using namespace Genode;
|
||||||
|
|
||||||
/* check for compatibility */
|
/* check for compatibility */
|
||||||
if (PROCESSORS > 1) {
|
if (PROCESSORS > 1) {
|
||||||
PERR("trustzone not supported with multiprocessing");
|
PERR("trustzone not supported with multiprocessing");
|
||||||
|
|
|
@ -18,6 +18,7 @@
|
||||||
#include <cpu/cpu_state.h>
|
#include <cpu/cpu_state.h>
|
||||||
|
|
||||||
/* core includes */
|
/* core includes */
|
||||||
|
#include <kernel/core_interface.h>
|
||||||
#include <vm_session_component.h>
|
#include <vm_session_component.h>
|
||||||
|
|
||||||
using namespace Genode;
|
using namespace Genode;
|
||||||
|
|
Loading…
Reference in New Issue
Block a user