Re: [seL4] where can I get beagle_run_elf program

You need a little more than just the beagle_run_elf script (which I've attached, along with beagle_create_image and beagle_create_sd). You need to obtain MLO, U-BOOT.BIN and uEnv.txt for your beagleboard (different for the BeagleBoard classic and the Xm models). Put these in subdirectories Classic or Xm. -- Dr Peter Chubb peter.chubb AT nicta.com.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA