Re: [seL4] seL4 - getting the execution time of different threads

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)