All I (now) know about booting x86-64
Posts tagged with uefi
Getting the PCI adapter all the way to Linux
Feel free to send me comments, questions or feedback via email.
If you liked this content, you may also enjoy other blogs I follow.
There's also an 
RSS feed.