Update examples/basic with kernel APIs

Still not quite as pretty as one would hope,
but getting better.