Hi Cédric, hi David, running "info qtree" at the HMP monitor with the pseries machine currently results in:
[...] dev: spapr-vty, id "vty@71000000" reg = 1895825408 (0x71000000) chardev = "serial0" irq = 4098 (0x1002) dev: spapr-rtc, id "" dev: icp, id "" hw/core/sysbus.c:277:sysbus_dev_print: Object 0x7f83127fc3f0 is not an instance of type sys-bus-device Aborted (core dumped) Since the last device that is printed here is "icp" ... could that be related to the recent ICP/XICS reworks that have been merged a couple of days ago? Thomas