Matthias Blankertz
460a67cf9f
The builtin micropython SD card driver using the default micropython SPI implementation suffered from very low read speeds. Add an optimized SD card driver using rp2 PIO and DMA. Currently read only, write support to be added later. Signed-off-by: Matthias Blankertz <matthias@blankertz.org>
15 lines
487 B
Bash
Executable File
15 lines
487 B
Bash
Executable File
#!/usr/bin/bash
|
|
|
|
TOPDIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
|
|
|
|
set -eu
|
|
|
|
( cd lib/micropython
|
|
make -C mpy-cross -j "$(nproc)"
|
|
make -C ports/rp2 BOARD=TONBERRY_RPI_PICO_W BOARD_DIR="$TOPDIR"/boards/RPI_PICO_W clean
|
|
make -C ports/rp2 BOARD=TONBERRY_RPI_PICO_W BOARD_DIR="$TOPDIR"/boards/RPI_PICO_W \
|
|
USER_C_MODULES="$TOPDIR"/src/micropython.cmake -j "$(nproc)"
|
|
)
|
|
|
|
echo "Output in lib/micropython/ports/rp2/build-TONBERRY_RPI_PICO_W/firmware.uf2"
|