Re: [seL4] raspberry pi 4

...

...

...

...

"Sachin" == Sachin More writes:

Sachin> It seems that I am using the wrong toolchain for Sachin> compilation. Any ideas? Compiling seL4 on its own results in something fairly useless. I suggest starting out by using repo to get the whole caboodle for seL4test (https://github.com/seL4/sel4test-manifest) then replacing the kernel in there with the one for raspi4. That should select the right toolchain (aarch64-linux-gnu-gcc) when you configure it (although you may need to do a bit of porting work first, see https://docs.sel4.systems/projects/sel4/porting.html ) Alternatively you can use ccmake to get the GUI for configuration and set the correct toolchain, but I've never tried that with just the kernel. -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61 (formerly NICTA)