picore-13.0.1 released (32-bit)

[bmarkus]

Picore-13.0.1 (32-bit)

CPU identification issue fixed, now the correct repository used.


Picore-13.0 (32-bit) is released which is expected work with all RPi boards. Main components:

- kernel 5.10.16
- glibc 2.32
- gcc 10.2.0
- util-linux 2.36.2
- e2fsprogs 1.46.1
- libffi 3.3
- micropython 1.14-72

There is only one SD card image for all boards which can be downloaded from

http://tinycorelinux.net/www/13.x/armv6/releases/RPi/