[other]: source code of micropython that K230 use

### Other Where Can I find the source code or API of micropython that used in K230 or? There's some functions that are not contained in regular micropython and I cannot find any docs about them.