We tried to build genode on base hardware with target as imx31. First we created a build directory using ./tool/create_builddir hw_imx31 BUILD_DIR=build.imx. Then we tested the directory using the make run/nested_init .It was compiled and successfully built but qemu emulator was not generated. Can anyone helpout this and say the proper steps to open with qemu.