sel4-tutorials icon indicating copy to clipboard operation
sel4-tutorials copied to clipboard

Published 20 hours ago • verified publisher icon seL4

How can I use another image?

Open JunJianX opened this issue 3 years ago • 0 comments

I want to use a image build by buildroot not the file under projects/camkes-vm-linux/images/rootfs/64/default_buildroot_rootfs-bare.cpio.I want build another file system,including my own packages,How can I get it?

JunJianX avatar Aug 18 '21 11:08 JunJianX