João Pedro Malhado, le mer. 17 sept. 2025 19:05:01 +0200, a ecrit: > I echo your question: how to debug rumpdisk on real hardware? > I presume it is not possible to run something like a subhurd with rumpdisk on a > system using gnumach ide to already drive the disk? If it's the same disk, that won't fly indeed. But you could use a usb disk. Samuel