@ -151,7 +151,6 @@ extern "C" int main_ap() {
DBG << "App CPU " << static_cast<int>(Core::getID()) << endl << flush;
LAPIC::Timer::setup(1000000);
Core::Interrupt::enable();
LAPIC::Timer::activate();