diff --git a/Jenkinsfile b/Jenkinsfile
index a106793bbb40b075b8695c26bf03786ef99561cf..f3ff8adc796737bd802af29dee4aa8b81c81b7ff 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -52,8 +52,6 @@ pipeline {
                         ['mb9bf618s', 'sourcery-arm'],
                         ['mb9bf568r', 'sourcery-arm'],
                         ['mini2440', 'sourcery-arm'],
-                        ['nuvoton_nuc472', 'sourcery-arm'],
-                        ['nuvoton_m05x', 'sourcery-arm'],
                         ['qemu-vexpress-a9', 'sourcery-arm'],
                         ['qemu-vexpress-gemini', 'sourcery-arm'],
                         ['sam7x', 'sourcery-arm'],