http://nuttx.org/Documentation/NxWM-ThreadingModel.pdf