http://nuttx.org/Documentation/nuttx-overview.pdf