/board/telit/evk-pro3/
../
barebox-2013.04.0-0001-watchdog-add-keep-alive-support.patch
barebox-2013.04.0-0002-watchdog-add-at91sam9-watchdog-support.patch
barebox-2013.04.0-0003-at91sam9260-9g20-add-wathdog-support.patch
barebox-2013.04.0-0004-at91sam9260-9g20-fix-wathdog-support.patch
barebox-2013.04.0-0005-watchdog-enable-for-evk-pro3.patch
linux-3.9.config
readme.txt