Hi all. How can I set the output device on my Blade100? I added a PCI Graphics Card and want to use it as the default display (onboard graphics does not work with Xopen). With openboot diag-switch? set to true the card is listed as /pci@1f,0/pci@5/display Using this with setenv output-device /pci@5... does not work. How can I find out the correct setting? Thanks, Hartwig