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