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(a)sel4.systems> on behalf of 송대영 <scribnote5(a)gmail.com> Sent: Friday, 23 November 2018 7:36 PM To: devel(a)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!