I really didn’t expect this to be so easy, that it will be covered in a single post, but it actually is, so here we go. Overview It turns out to boot linux on a device you don’t need much. To be more specific you need to specify the following DT nodes: cpu – number… Continue reading Booting mainline kernel