waf: added revo-mini build type

Tools/ardupilotwaf/boards.py

@@ -406,6 +406,15 @@ class sparky2(chibios):
         )
         env.CHIBIOS_FATFS_FLAG = 'USE_FATFS=no'
 
+class revo_mini(chibios):
+    name = 'revo-mini'
+    def configure_env(self, cfg, env):
+        super(revo_mini, self).configure_env(cfg, env)
+        env.DEFINES.update(
+            CONFIG_HAL_BOARD_SUBTYPE = 'HAL_BOARD_SUBTYPE_CHIBIOS_REVOMINI',
+        )
+        env.CHIBIOS_FATFS_FLAG = 'USE_FATFS=no'
+
 class linux(Board):
     def configure_env(self, cfg, env):
         super(linux, self).configure_env(cfg, env)