Hello, In my system, sel4 is loaded by u-boot from an sd card that contains only an ELF image. I would like to store some sensitive data in plaintext for use in a non-vm component, but I worry that it can be read from the ELF image. Can this sd card data be accessed from within a linux vm instance? Or otherwise, is it certain that the vm cannot access this data?
Best, Michael Neises
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
