Nova 32 bits on older Pentium 4 computer.

[Alexander Boettcher]

Hi Paul,

On 23.01.2013 16:55, Paul Dufresne wrote:
> Thanks, that is quite fun to see a problem like this being fixed by
> exchanging emails!

thanks for reporting and testing. I opened a issue [0] at github and
provided the fix there so that it can be picked up in the next days to
the staging branch.

Cheers,

Alex.

[0] https://github.com/genodelabs/genode/issues/631