diff --git a/libraries/AP_HAL_Empty/Scheduler.cpp b/libraries/AP_HAL_Empty/Scheduler.cpp
index 52e3c8466b..6c2cd64775 100644
--- a/libraries/AP_HAL_Empty/Scheduler.cpp
+++ b/libraries/AP_HAL_Empty/Scheduler.cpp
@@ -16,22 +16,6 @@ void EmptyScheduler::init(void* machtnichts)
 void EmptyScheduler::delay(uint16_t ms)
 {}
 
-uint64_t EmptyScheduler::millis64() {
-    return 10000;
-}
-
-uint64_t EmptyScheduler::micros64() {
-    return 200000;
-}
-
-uint32_t EmptyScheduler::millis() {
-    return millis64();
-}
-
-uint32_t EmptyScheduler::micros() {
-    return micros64();
-}
-
 void EmptyScheduler::delay_microseconds(uint16_t us)
 {}
 
@@ -71,18 +55,6 @@ bool EmptyScheduler::system_initializing() {
 void EmptyScheduler::system_initialized()
 {}
 
-void EmptyScheduler::panic(const char *errormsg, ...)
-{
-    va_list ap;
-
-    va_start(ap, errormsg);
-    hal.console->vprintf(errormsg, ap);
-    va_end(ap);
-    hal.console->printf("\n");
-
-    for(;;);
-}
-
 void EmptyScheduler::reboot(bool hold_in_bootloader) {
     for(;;);
 }
diff --git a/libraries/AP_HAL_Empty/Scheduler.h b/libraries/AP_HAL_Empty/Scheduler.h
index 80b3744a93..e7414e7de6 100644
--- a/libraries/AP_HAL_Empty/Scheduler.h
+++ b/libraries/AP_HAL_Empty/Scheduler.h
@@ -9,10 +9,6 @@ public:
     EmptyScheduler();
     void     init(void* machtnichts);
     void     delay(uint16_t ms);
-    uint32_t millis();
-    uint32_t micros();
-    uint64_t millis64();
-    uint64_t micros64();
     void     delay_microseconds(uint16_t us);
     void     register_delay_callback(AP_HAL::Proc,
                 uint16_t min_time_ms);
@@ -32,7 +28,6 @@ public:
     bool     system_initializing();
     void     system_initialized();
 
-    void     panic(const char *errormsg, ...) FORMAT(2, 3) NORETURN;
     void     reboot(bool hold_in_bootloader);
 
 };