incubator-nuttx/Documentation/platforms/misco/lm32/boards
..
misoc