>>>>> "Amit" == Amit Goyal <[email protected]> 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)
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to