Sorry for the delayed response.
From: Devel <email@example.com> on behalf of Michael Neises <firstname.lastname@example.org>
Sent: Saturday, October 12, 2019 3:48 AM
To: email@example.com <firstname.lastname@example.org>
Subject: [seL4] Fwd: camkes vm question
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?