Something

#!/bin/sh
echo "0x80 /pci@0,0/pci-ide@5/ide@0/cmdk@0,0"
echo "0x81 /pci@0,0/pci10de,370@6/pci1000,1000@9/sd@2,0"
echo "0x82 /pci@0,0/pci10de,370@6/pci1000,1000@9/sd@4,0"
echo "0x83 /pci@0,0/pci10de,370@6/pci1000,1000@9/sd@5,0"
echo "0x84 /pci@0,0/pci10de,370@6/pci1000,1000@9/sd@1,0"
echo "0x85 /pci@0,0/pci-ide@5/ide@1/cmdk@0,0"
echo "0x86 /pci@0,0/pci-ide@5,1/ide@0/cmdk@0,0"
echo "0x87 /pci@0,0/pci-ide@5,1/ide@1/cmdk@0,0"
exit 0