Re: scupt-tc real hardware: 0/3

I think I finally come to a real Genode problem (rather than a platform one):

On X86_64, I ran:

make KERNEL=foc run/framebuffer

and running on my Dell Optiplex 745, with integrated i965 I got:

Error: acpi table out of range - 0xfff69ab8 not in [ 0000000000000000 ,

000000003fffffff )

See how it finished with ) rather than the expected ]

More seriously, who put a limit on where my acpi table can be?

Guess, I will be expected to fill bugs soon rather than clutter the mailing list.