Hello,
just as a quick notice, the fix has been merged into the genodelabs/master branch:
https://github.com/genodelabs/genode/commit/ce58a63fb661df42e6bf283891589b11...
Cheers Norman
On 03/14/2013 10:24 AM, Stefan Kalkowski wrote:
Hi,
thank you for pointing to this issue. The problem is here some interference of timer implementations for different platforms. I've opened a new issue for this in out issue tracker on github:
http://github.com/genodelabs/genode/issues/688
It'll get fixed soon.
Best Regards Stefan
On 03/13/2013 10:12 AM, vamsi krishna wrote:
Hi,
I wanted to build Fiasco microkernel for imx53 board. i downloadedthe genode-13.02. I created the build directory by using the following command.
./tool/create_builddir foc_imx53 BUILD_DIR=build
After that when i am trying to run following command
$ make run/demo
i got the following error
Library timer COMPILE main.o In file included from /home/vamsi/genode-13.02/os/src/drivers/timer/include/timer_session_component.h:26:0, from /home/vamsi/genode-13.02/os/src/drivers/timer/include/timer_root.h:23, from /home/vamsi/genode-13.02/os/src/drivers/timer/main.cc:19: /home/vamsi/genode-13.02/os/src/drivers/timer/hw/platform_timer.h: In member function ‘long unsigned int Platform_timer::curr_time() const’: /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] /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] /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] make[3]: *** [main.o] Error 1 make[2]: *** [timer.lib] Error 2 make[1]: *** [gen_deps_and_build_targets] Error 2 make[1]: Leaving directory `/home/vamsi/genode-13.02/fiasco' Error: Genode build failed make: *** [run/demo] Error 252
Regards,
S. Vamsi Krishna, 2nd Year M.Tech | CSE, Network Systems Lab, IITM.