I've had a Micro-Bit for a while but it only came to light again after I did some tidying up at the weekend. Now I know it's not Atmel based so this is probably misplaced but has anyone else from here had a play with one of these? Sure there are all kinds of very high level mechanisms for programming it - but does anyone have a "bare metal" setup for programming raw registers in C or C++ ?
The "lowest level" programming I have found for it so far is actually its mbed compatibility and that is, itself, reliant on a hardware adaptation layer from Lancaster University. But that still feels a bit too "Arduino" for my tastes.
If one just wants to get an arm-gcc and wrap an IDE around it to write some plain C/C++ then what do you do about things like CRT to get the device "warmed up" enough to actually do something? I can likely work this out but equally I don't want to reinvent the wheel. Rather surprisingly I can't get my googling friend to admit to anyone else ever having done this - I just assume I'm not picking the right search terms?