Hi Hesham,
I am using gcc-linaro-7.1.1-2017.08-x86_64_arm-eabi and gcc-linaro-7.1.1-2017.08-x86_64_arm-linux-gnueabi on Debian Linux 8.9(jessie) 64-Bit
I followed the page https://wiki.sel4.systems/Hardware/Beaglebone
With the default repo checkout, i just set seL4 system as ARM and platform type as AM335X and toolchain cross-compiler prefix as gcc-linaro-7.1.1-2017.08-x86_64_arm-eabi.
Surprisingly today sel4test worked when i tried again with both arm-eabi and arm-linux-gnueabi gcc versions
I don't know why it didn't worked yesterday.
Anyway now its fine.
...
...
Starting test 110: VSPACE0000
Starting test 111: VSPACE0001
Starting test 112: VSPACE0002
Starting test 114: Test all tests ran
Test suite passed. 114 tests passed. 39 tests disabled.
All is well in the universe
Thanks anyway,
B.Sathish Kumar
-----------------------------------------------------------------------------------------------------------------
From: Hesham.Almatary@data61.csiro.au