For everyone who has ever used what I call junk ARM dev boards, and hasn’t been able to work out what combination of out-of-tree u-boot/kernel patches they should be using, or how to enable the serial port, Jon is trying to make the situation better on 64 bit ARM server hardware. Needless to say, I very much approve. Here is his talk: