Issue in run/demo using foc_imx53 biuld directory

[Norman Feske]

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