Allow ports to define statically builtin functions.

Convert unix open() to such.

py/mpconfig.h

@@ -107,6 +107,10 @@ typedef long long mp_longint_impl_t;
 #define MICROPY_PATH_MAX (512)
 #endif
 
+// Additional builtin function definitions - see runtime.c:builtin_table for format.
+#ifndef MICROPY_EXTRA_BUILTINS
+#define MICROPY_EXTRA_BUILTINS
+#endif
 /*****************************************************************************/
 /* Miscellaneous settings                                                    */
 

py/runtime.c

@@ -144,6 +144,9 @@ STATIC const mp_builtin_elem_t builtin_table[] = {
     { MP_QSTR_str, (mp_obj_t)&mp_builtin_str_obj },
     { MP_QSTR_bytearray, (mp_obj_t)&mp_builtin_bytearray_obj },
 
+    // Extra builtins as defined by a port
+    MICROPY_EXTRA_BUILTINS
+
     { MP_QSTR_, MP_OBJ_NULL }, // end of list sentinel
 };
 

unix/file.c

@@ -136,8 +136,6 @@ mp_obj_t mp_builtin_open(uint n_args, const mp_obj_t *args) {
 MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(mp_builtin_open_obj, 1, 2, mp_builtin_open);
 
 void file_init() {
-    rt_store_name(MP_QSTR_open, (mp_obj_t)&mp_builtin_open_obj);
-
     mp_obj_t m_sys = mp_obj_new_module(MP_QSTR_sys);
     rt_store_attr(m_sys, MP_QSTR_stdin, fdfile_new(STDIN_FILENO));
     rt_store_attr(m_sys, MP_QSTR_stdout, fdfile_new(STDOUT_FILENO));

unix/main.c

@@ -29,7 +29,6 @@
 // Stack top at the start of program
 void *stack_top;
 
-extern const mp_obj_fun_native_t mp_builtin_open_obj;
 void file_init();
 void microsocket_init();
 void time_init();

unix/mpconfigport.h

@@ -36,3 +36,8 @@ typedef const void *machine_const_ptr_t; // must be of pointer size
 typedef double machine_float_t;
 
 machine_float_t machine_sqrt(machine_float_t x);
+
+struct _mp_obj_fun_native_t;
+extern const struct _mp_obj_fun_native_t mp_builtin_open_obj;
+#define MICROPY_EXTRA_BUILTINS \
+    { MP_QSTR_open, (mp_obj_t)&mp_builtin_open_obj },