-- The C compiler identification is GNU 6.3.0
-- The CXX compiler identification is GNU 6.3.0
-- Check for working C compiler: /home/drichards/gnu/bin/gcc
-- Check for working C compiler: /home/drichards/gnu/bin/gcc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Check for working CXX compiler: /home/drichards/gnu/bin/g++
-- Check for working CXX compiler: /home/drichards/gnu/bin/g++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- The ASM compiler identification is GNU
-- Found assembler: /home/drichards/gnu/bin/gcc
-- Performing test HARD_FLOAT with flags -mfloat-abi=hard
-- Test HARD_FLOAT FAILED
-- Performing test SOFTFP_FLOAT with flags -mfloat-abi=softfp
-- Test SOFTFP_FLOAT FAILED
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)


-- Configuring done
-- Generating done
-- Build files have been written to: /home/drichards/seL4test/build
-- Configuring done
-- Generating done
-- Build files have been written to: /home/drichards/seL4test/build
-- Configuring done
-- Generating done
-- Build files have been written to: /home/drichards/seL4test/build