diff --git a/kernel/syscall_handler.c b/kernel/syscall_handler.c
index f1bda5e..b4a722f 100644
--- a/kernel/syscall_handler.c
+++ b/kernel/syscall_handler.c
@@ -551,6 +551,10 @@ int sys_device_driver_stats(const char * name, struct device_driver_stats * stat
 	return 0;
 }
 
+#ifdef KERNEL_SYSCALL_EXT
+  #include "kernel_syscall_ext.c"  
+#endif
+
 int32_t syscall_handler(syscall_t n, uint32_t a, uint32_t b, uint32_t c, uint32_t d, uint32_t e)
 {
 	if((n < MAX_SYSCALL) && current) {
@@ -633,6 +637,9 @@ int32_t syscall_handler(syscall_t n, uint32_t a, uint32_t b, uint32_t c, uint32_
 		return sys_system_rtc((struct rtc_time *) a);
 	case SYSCALL_DEVICE_DRIVER_STATS:
 		return sys_device_driver_stats((char *) a, (struct device_driver_stats *) b);
+#ifdef KERNEL_SYSCALL_EXT
+  KERNEL_SYSCALL_EXT_SWITCH
+#endif
 	default:
 		return KERROR_INVALID_SYSCALL;
 	}