Giters

seL4 / sel4-tutorials

Tutorials for working with seL4 and/or CAmkES.

Home Page:https://docs.sel4.systems/Tutorials

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

How can I use another image?

JunJianX opened this issue · comments

commented

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?