Squashed commit of the following:
Author: Gregory Nutt <gnutt@nuttx.org>
Eliminate complaints from tools/nxstyle
Manually fix up kruft left behind by indent.sh
Raw application of tools/indent.sh to all new .c and .h files. Still need fixups.
Convert all C++ style comments to C style; Covery hex constants to lower case.
Convert TABs to spaces
Beginning of code review process. The first small dent.
configs/misoc: Rename os_start to nx_start.
arch/misoc/src/minerva/minerva_exit.c: Make name change to match change made to master.
Author: Ramtin Amin <keytwo@gmail.com>
configs/Kconfig and misoc/nsh/defconfig: Add support for the Verilator board.
Author: Juha Niskanen (Haltian) <juha.niskanen@haltian.com>
arch/arm/src/stm32l4/stm32l4_lse.c: Ports Jussi Kivilinna's recent STM32F7 LSE change to STM32L4.
Author: David Sidrane <david_s5@usa.net>
tools/.gitignore: Ignore new tool binaries.
Author: Ramtin Amin <keytwo@gmail.com>
arch/misoc/src/minerva: Initial merge of minera port.
jordi