scupt-tc real hardware: 0/3

[Paul Dufresne]

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).