Add CFLAGS -I/opt/vc/include/interface/vmcs_host/linux
[gpsp.git] / raspberrypi / keys.txt
2013-03-07 Daveraspberry pi port