Experimenting the vm-tz example on the Freescale i.mx6 SDB

[Adam Lackorzynski]

Hi,

On Mon Apr 13, 2015 at 11:02:50 +0200, Mahdi Aichouch wrote:
> Please find below the error code returned by the
> "l4_error(me->vcpu_control_ext((l4_addr_t)vcpu))" function:
> Thank you very much for you help.
> 
> setup linux ok...
> vcp_control_ext returns -38

38 is ENosys. Actually, there's an issue, and this change to Fiasco
shall fix it. Please apply.


Index: src/kern/arm/thread-arm-hyp.cpp
===================================================================
--- src/kern/arm/thread-arm-hyp.cpp	(revision 66)
+++ src/kern/arm/thread-arm-hyp.cpp	(working copy)
@@ -48,11 +48,6 @@
     regs()->psr |=  Proc::PSR_m_svc;
 }
 
-IMPLEMENT inline
-bool
-Thread::arch_ext_vcpu_enabled()
-{ return true; }
-
 extern "C" void slowtrap_entry(Trap_state *ts);
 extern "C" Mword pagefault_entry(const Mword pfa, Mword error_code,
                                  const Mword pc, Return_frame *ret_frame);
Index: src/kern/arm/thread-arm.cpp
===================================================================
--- src/kern/arm/thread-arm.cpp	(revision 66)
+++ src/kern/arm/thread-arm.cpp	(working copy)
@@ -315,6 +315,14 @@
   return false;
 }
 
+// ------------------------------------------------------------------------
+IMPLEMENTATION [arm && (arm_em_tz || hyp)]:
+
+IMPLEMENT inline
+bool
+Thread::arch_ext_vcpu_enabled()
+{ return true; }
+
 //---------------------------------------------------------------------------
 IMPLEMENTATION [arm && !arm_lpae]:
 



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/