The first microcontrollers I ever messed with were MC6811 based boards like the HandyBoard. I never thought of it before, but I think they were unikernel.