JunJianX

when I do as [https://github.com/seL4/camkes/blob/master/apps/debug-simple/README.md](url) ,but the directory doesn't exist a MakeFile.Is it right?

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?