On 11/02/2014 09:18 PM, Jan Vesely wrote:
>>> The solution is to disable FPU on armv6-, until somebody implements
>>> properly, I enabled it on "it happens to work" basis.
>>
>> This got fixed in the meantime - it was actually a bug in QEMU,
>> something along the lines they completely forgot about ARMv5. But the
>> latest released QEMU should have this fixed. ARMv5 does not have vmrs,
>> but is has something else (I guess the normal FPU instructions) that,
>> IIRC, share the same opcode, so it is expected to work.
> 
> ah, good :). thanks for pointing it out.
> It still means that HelenOS FPU code works by accident (accidental
> forward compatibility). ideally we'd have comments explaining why
> armv6/7 code is OK on older devices with CONFIG_FPU.

Or we could use the proper instruction using an ifdef.

Jakub

_______________________________________________
HelenOS-devel mailing list
[email protected]
http://lists.modry.cz/listinfo/helenos-devel

Reply via email to