your mail

[sasamy]

Thank you very much Adam.

This works for integrator/cp. Unfortunately at91sam9x does not have a vfp.

Regards,
Alexander.

14.02.2011, 00:31, "Adam Lackorzynski" <adam at os.inf.tu-dresden.de>:
> Hi,
>
> On Sun Feb 13, 2011 at 16:39:09 +0300, sasamy wrote:
>
>>  I can not run fiasco kernel, version l4re-core-2011020417
>>
>>  # qemu-system-arm -kernel /home/sasa/fiasco/l4re-core-2011020417/src/l4/build/images/bootstrap.elf -serial stdio -m 256
>>
>>  Not using serial hack in slow timer handler.
>>  Panic: __div0
>>  Press any key to reboot.
>
> Enable FPU support in the Fiasco config. I'll fix this problem.
>
> Thanks,
> Adam
>