Hello, just as a quick notice, the fix has been merged into the genodelabs/master branch:
https://github.com/genodelabs/genode/commit/ce58a63fb661df42e6bf283891589b11a1f411f2 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 downloaded >> the 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. -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth ------------------------------------------------------------------------------ Everyone hates slow websites. So do we. Make your web apps faster with AppDynamics Download AppDynamics Lite for free today: http://p.sf.net/sfu/appdyn_d2d_mar _______________________________________________ Genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
