src/system/kernel/arch/arm/soc.cpp

#include "soc.h"

InterruptController *InterruptController::sInstance = NULL;
HardwareTimer *HardwareTimer::sInstance = NULL;