microsoft / Komodo

Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
https://www.microsoft.com/en-us/research/project/komodo/
Other
102 stars 28 forks source link

make qemu #16

Open xiexiewww opened 6 years ago

xiexiewww commented 6 years ago

I have prepare everything before "make qemu " But I got stock with "make qemu" [ -f guestimg/guestdisk.img ] || cp raspbian.img guestimg/guestdisk.img [ driver/komodo.ko -ot guestimg/guestdisk.img ] || guestimg/cptoext2.sh driver/komodo.ko guestimg/guestdisk.img /lib/modules/komodo.ko[ -f guestimg/guestdisk.img ] || cp raspbian.img guestimg/guestdisk.img [ -z "piimage/piimage.img piimage/config.txt" ] || guestimg/cptofat.sh piimage/piimage.img piimage/config.txt guestimg/guestdisk.img / Usage: guestimg/cptofat.sh file image dest guestimg/subdir.mk:14: recipe for target 'guestimg/guestdisk.img' failed make: [guestimg/guestdisk.img] Error 1 make: Deleting file 'guestimg/guestdisk.img' I have not found any solution so far. Could you help me? Many thanks in advance!

0xabu commented 6 years ago

It's hard to be completely sure without knowing what files you have on your filesystem, but it looks to me like this might be a bug in guestimg/subdir.mk:15. Both piimage/config.txt and piimage/piimage.img are out of date, so it is trying to copy both of them into guestdisk.img using cptofar.sh, but the script only supports copying a single file at a time.

These scripts are quite flaky -- they are written in a very roundabout way using pure-userland utilities like e2cp and mcopy in order to work on WSL, but if you're on Linux it would be much faster just to make a loopback mount of the partition and copy the files in directly. The end-goal is to take a Raspbian image, copy komodo.ko into the ext2 filesystem from where you can later insmod it, and copy the modified config.txt and piimage.img in the FAT boot partition so that the monitor runs in secure world at startup prior to booting Linux.

Also: this isn't a real-time support forum -- this is a GitHub bug tracker for a research prototype, so you shouldn't expect fast turnaround.