"Amit" == Amit Goyal amitgoyal@cse.iitb.ac.in writes:
Hi Amit, Please don't top-post --- it makes the email thread hard to read, and rapidly increases the size of messages to where they won;t be accepted by the list processor.
Amit> As per the suggestion, I tried running the seL4bench Amit> (https://github.com/seL4/sel4bench) but it did not work. I tried Amit> to run it as a separate project using the following commands on Amit> x86 system, ubuntu 16.04 on qemu:
Did you install an ARM cross compiler first? The error message arm-linux-gnueabi-gcc is not a full path and was not found in the PATH.
suggests that you haven't got the 32-bit ARM-el compiler installed. You can either override the compiler by setting export CXX=arm-linux-gnueabihf-gcc (if you have the hardfloat compiler installed) or install the softfloat compiler with apt-get install gcc-arm-linux-gnueabi
I'd strongly suggest also installing ccache to speed subsequent compilations.
Amit> cpio: unrecognized option '--reproducible' Try `cpio --help' or Amit> `cpio --usage' for more information. ninja: build stopped: Amit> subcommand failed.
--reproducible is in upstream cpio. You can just edit the makefile to remove the flag for now, until Ubuntu packages the latest version.
Peter C -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61 (formerly NICTA)