bsp_idle_thread() implementation. More...
#include <bsp.h>
#include <libcpu/arm-cp15.h>
bsp_idle_thread() implementation.