I suspect this is in competition to the currently-being-released Micro Bit, the BBC's similar tiny computer (The microbit isn't aimed at the same market, as it

I suspect this is in competition to the currently-being-released Micro Bit, the BBC's similar tiny computer (The microbit isn't aimed at the same market, as it has buttons and LEDs built onto it, and no HDMI. But it is threatening to push the Raspberry Pi out of UK schools).