?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
2009-07-01 Pavel Roskin <proski@gnu.org>
[grub2/bean.git] / util / grub-dumpdevtree
blobca1a6a9074224052a2d4dd056bc22fab1ae18fd2
1 echo "656669{   6465766963652d70726f70657274696573:"
2 ioreg -lw0 -p IODeviceTree -n efi -r -x |grep device-properties | sed 's/.*<//;s/>.*//;'
3 echo ";}"
bean's branch