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