codal_port: Allow MICROPY_MBFS to be disabled.

Signed-off-by: Damien George <damien@micropython.org>

Author: dpgeorge

src/codal_port/main.c

@@ -53,7 +53,9 @@ void mp_main(void) {
     for (;;) {
         microbit_system_init();
         microbit_display_init();
+        #if MICROPY_MBFS
         microbit_filesystem_init();
+        #endif
 
         gc_init(heap, heap + sizeof(heap));
         mp_init();

src/codal_port/modos.c

@@ -66,24 +66,28 @@ STATIC mp_obj_t os_uname(void) {
 }
 STATIC MP_DEFINE_CONST_FUN_OBJ_0(os_uname_obj, os_uname);
 
+#if MICROPY_MBFS
 STATIC mp_obj_t os_size(mp_obj_t filename) {
     mp_obj_tuple_t *tuple = MP_OBJ_TO_PTR(uos_mbfs_stat_obj.fun._1(filename));
     return tuple->items[6];
 }
 STATIC MP_DEFINE_CONST_FUN_OBJ_1(os_size_obj, os_size);
+#endif
 
 STATIC const mp_rom_map_elem_t os_module_globals_table[] = {
     { MP_ROM_QSTR(MP_QSTR___name__), MP_ROM_QSTR(MP_QSTR_os) },
 
     { MP_ROM_QSTR(MP_QSTR_uname), MP_ROM_PTR(&os_uname_obj) },
 
+    #if MICROPY_MBFS
     { MP_ROM_QSTR(MP_QSTR_listdir), MP_ROM_PTR(&uos_mbfs_listdir_obj) },
     { MP_ROM_QSTR(MP_QSTR_ilistdir), MP_ROM_PTR(&uos_mbfs_ilistdir_obj) },
     { MP_ROM_QSTR(MP_QSTR_remove), MP_ROM_PTR(&uos_mbfs_remove_obj) },
     { MP_ROM_QSTR(MP_QSTR_stat), MP_ROM_PTR(&uos_mbfs_stat_obj) },
 
     // micro:bit v1 specific
     { MP_ROM_QSTR(MP_QSTR_size), MP_ROM_PTR(&os_size_obj) },
+    #endif
 };
 STATIC MP_DEFINE_CONST_DICT(os_module_globals, os_module_globals_table);
 

src/codal_port/mpconfigport.h

@@ -91,8 +91,10 @@
 #define MICROPY_MBFS                            (1)
 
 // extra built in names to add to the global namespace
+#if MICROPY_MBFS
 #define MICROPY_PORT_BUILTINS \
     { MP_ROM_QSTR(MP_QSTR_open), MP_ROM_PTR(&mp_builtin_open_obj) },
+#endif
 
 #define MICROBIT_RELEASE "2.0.0-beta.5"
 #define MICROBIT_BOARD_NAME "micro:bit"