2459162599
Otherwise mp_interrupt_char will have a value of zero on start up (because it's in the BSS) and a KeyboardInterrupt may be raised during start up. For example this can occur if there is a UART attached to the REPL which sends spurious null bytes when the device turns on.
This directory contains standard, low-level C libraries with emphasis on being independent and efficient. They can be used by any port.