This is the BBC Micro Bit mini-PC for UK students