On Mon, Nov 09, 2015 at 02:38:39PM +0000, Wim Vervoorn wrote: > Hello Kevin, > > I hooked up an external USB 3.0 WD hard drive and found that this > wasn't supported by SeaBIOS as this used 4K blocks. As an unrelated issue, I noticed the build is not able to extract the gcc version. What does "gcc --version" report for you? -Kevin