Ok, removing the sanity check help me go further:
In /genode/repos/os/src/drivers/acpi/memory.h:
using namespace Genode;
/* the first caller sets the upper physical bits of add$ // static addr_t const high = phys & _align_mask(ACPI_REGI$
/* sanity check that physical address is in range we su$ // if ((phys & _align_mask(ACPI_REGION_SIZE_LOG2)) != high$ // addr_t const end = high + (1UL << ACPI_REGION_S$ // error("acpi table out of range - ", Hex(phys), $ // "not in ", Hex_range<addr_t>(high, end - $ // throw -1; // }
addr_t const phys_aligned = phys & _align_mask(12); addr_t const size_aligned = align_addr(p_size + (phys &
but now, my monitor complain that the video mode chosen is not good for him.
My monitor suggest that a 1280x1024 60 Hz would please it very much.
Is there a way to convince Genode to choose such a mode?
(I think some of my previous tests might have failed because of that).