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!