>>>> "Amit" == Amit Goyal
<amitgoyal(a)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)