The
kickstarter project page claims that the system will be fully open source, but the GPU they chose, the Mali-400, is not as well documented as that of the Rpi and
still needs a binary blob to work. The
Lima project is an attempt at reverse-engineering the thing, but it's still a work in progress (and has been for some years). I think that limits it as the platform for the bare-metal port of Handmade Hero.
Also, the CPU has only one core and the HDMI board is sold separately (and brings the price to that of a Raspberry Pi).