Urgent fix for broken GoodFET31 support, result of UART1 definitions.
[goodfet] / firmware / platforms / nhb12.h
1 //Some instructions list this by mistake, just refer to nhbadge.h
2 #include "nhbadge.h"