Dumb C++11 ARM kernel