Hi again :)

Is it possible to run sel4 as a secure world OS in TrustZone?

Has anyone successfully done that before?

Thank you,

Norrathep (Oak) Rattanavipanon

M.S. in Computer Science

University of California - Irvine