Hi,


Can you please send all of the commands you have used to configure the build directory? It should look something like this: 


mkdir build

cd build

../init-build.sh -DPLATFORM=sabre -DHARDWARE=TRUE -DAARCH32=TRUE -DRELEASE=TRUE

​

Cheers, 

Anna. 


From: Devel <devel-bounces@sel4.systems> on behalf of ¼Û´ë¿µ <scribnote5@gmail.com>
Sent: Friday, 23 November 2018 7:36 PM
To: devel@sel4.systems
Subject: [seL4] sel4bench config problem
 
Hi, I have a sel4bench config problem.

I use 'ccmake ..' command to configure sel4 configuration but system prints error with this message.

Build files have been written to: /home/scribnote5/sel4bench_thesis/build
CMake Warning at tools/seL4/cmake-tool/flags.cmake:123 (message):
  Kernel supports hardware floating point but toolchain does not
Call Stack (most recent call first):
  tools/seL4/cmake-tool/base.cmake:58 (include)
  tools/seL4/cmake-tool/all.cmake:18 (include)
  CMakeLists.txt:21 (include)

Please help me!