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.
_______________________________________________
Genode users mailing list
[email protected]
https://lists.genode.org/listinfo/users
