serial port works, added setup instructions
[rpikern] / src / libc / stdint.h
2018-10-23 John Tsiombikasstartup and debug led