Hi Jan, all, I have seen that arm-zero-exits has been merged into next.
My understanding is that right now the only officially supported boards, meaning supporting both jailhouse and SDEI, are NXP's ones, with only a experimental patch for the xilinx zynqmp firmware to enable SDEI. Regarding that patch, I have looked at it, tested it and added the missing non-secure-boundary check. Are you thinking of submitting it upstream? If so, how do you want to proceed? Angelo -- You received this message because you are subscribed to the Google Groups "Jailhouse" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jailhouse-dev/CADiTV-03GyURVJ2De-Fe5reAcvveWQq7JxAUTh2kES2DSbwcWA%40mail.gmail.com.
