Michael Lotz 57e6aff3f7 Add debug helpers that communicate information via the LED. ...

Blink patterns and delay mechanisms allow for "easier" debugging using
just the onboard LED on the raspberry pi.

2012-11-27 20:58:31 +01:00

..

platform_arch.h

…

platform_debug.h

…

platform_kernel_args.h

…

platform_stage2_args.h

…