1. From now on, sel4-tutorials use ninja build tool, so I repo new sel4-tutorials.

Last step, I executue this command "../init-build.sh --plat pc99 --tut hello-1" but It prints with this error messages.

What's the problem?

---------------------------------------------------------------------------------------------

CMake Warning at tools/cmake-tool/flags.cmake:123 (message):

 Kernel supports hardware floating point but toolchain does not

Call Stack (most recent call first):

 tools/cmake-tool/base.cmake:58 (include)

 tools/cmake-tool/all.cmake:16 (include)

 CMakeLists.txt:23 (include)

CMake Error at projects/sel4-tutorials/CMakeLists.txt:34 (message):

 You must select a tutorial for compilation.  Select using

  -DTUTORIAL=<PREFERENCE>.

  Choose one of

 hello-1;hello-2;hello-2-nolibs;hello-3;hello-3-nolibs;hello-4;hello-4-app;hello-timer;hello-timer-client.

-- Configuring incomplete, errors occurred!

See also "/home/scribnote5/sel4-tutorials-manifest/build_hello_1/CMakeFiles/CMakeOutput.log".

2. How can I build sel4 ia32 images in sel4bench?

This command "../init-build.sh -DPLATFORM=ia32 -DHARDWARE=TRUE -DAARCH32=TRUE -DRELEASE=TRUE -DFAULT=TRUE -DFASTPATH=TRUE" doesn't make sel4bench image file.