I have placed pre-compiled binary as release 1.0.0.
https://github.com/boochow/micropython- ... tag/v1.0.0
Now the SD card is writable and mounted on `/sd` at boot time. You can use `rshell` definitely.
`bootcode.bin` and `start.elf` are necessary but not included. Please download them from https://github.com/raspberrypi/firmware ... aster/boot
Also included in the zip archive are `boot.py`, `main.py`, and some library files but they are not mandatory.
If you do not have any serial interface devices for connecting to Pi's UART and still want to try this, download USB enabled version to use any USB keyboard and uncomment the comment-outed lines in the main.py to duplicate micropython's REPL screen to Pi's HDMI display output.