Hi,<br><br>    I wanted to build Fiasco microkernel for imx53 board. i downloaded the genode-13.02.<br>I created the build directory by using the following command.<br><br>./tool/create_builddir foc_imx53 BUILD_DIR=build<br>
<br>After that when i am trying to run following command<br><br>$ make run/demo<br><br>i got the following error<br><br> Library timer<br>    COMPILE  main.o<br>In file included from /home/vamsi/genode-13.02/os/src/drivers/timer/include/timer_session_component.h:26:0,<br>
                 from /home/vamsi/genode-13.02/os/src/drivers/timer/include/timer_root.h:23,<br>                 from /home/vamsi/genode-13.02/os/src/drivers/timer/main.cc:19:<br>/home/vamsi/genode-13.02/os/src/drivers/timer/hw/platform_timer.h: In member function ‘long unsigned int Platform_timer::curr_time() const’:<br>
/home/vamsi/genode-13.02/os/src/drivers/timer/hw/platform_timer.h:63:41: error: passing ‘const Platform_timer’ as ‘this’ argument of ‘long unsigned int Genode::Epit::value(bool&)’ discards qualifiers [-fpermissive]<br>
/home/vamsi/genode-13.02/os/src/drivers/timer/hw/platform_timer.h:65:55: error: passing ‘const Platform_timer’ as ‘this’ argument of ‘long unsigned int Genode::Epit::max_value()’ discards qualifiers [-fpermissive]<br>/home/vamsi/genode-13.02/os/src/drivers/timer/hw/platform_timer.h:72:43: error: passing ‘const Platform_timer’ as ‘this’ argument of ‘long unsigned int Genode::Epit::tics_to_us(long unsigned int)’ discards qualifiers [-fpermissive]<br>
make[3]: *** [main.o] Error 1<br>make[2]: *** [timer.lib] Error 2<br>make[1]: *** [gen_deps_and_build_targets] Error 2<br>make[1]: Leaving directory `/home/vamsi/genode-13.02/fiasco'<br>Error: Genode build failed<br>make: *** [run/demo] Error 252<br>
<br><br><br><br><br><br><br><div>Regards,<br><br>S. Vamsi Krishna,<br>2nd Year M.Tech | CSE,<br>Network Systems Lab, IITM.<br></div>