diff --git a/libuavcan_drivers/lpc11c24/test_olimex_lpc_p11c24/src/sys/board.cpp b/libuavcan_drivers/lpc11c24/test_olimex_lpc_p11c24/src/sys/board.cpp
index 1ad2670743..d009c87ee0 100644
--- a/libuavcan_drivers/lpc11c24/test_olimex_lpc_p11c24/src/sys/board.cpp
+++ b/libuavcan_drivers/lpc11c24/test_olimex_lpc_p11c24/src/sys/board.cpp
@@ -151,8 +151,10 @@ static void call_init_array(unsigned long* start, unsigned long* end)
 // We need to disable pedantic mode to call main()
 #pragma GCC diagnostic ignored "-Wpedantic"
 
+__attribute__((noreturn))
 extern int main();
 
+__attribute__((noreturn))
 void __start()
 {
     board::init();