PACKAGE pico_gcc

MANIFEST
Makefile.chip
Makefile.pico
bs2_default_padded_checksummed.S
chip_config.c
chip_config.h
chip_kernel.h
chip_rename.def
chip_rename.h
chip_sil.h
chip_timer.cfg
chip_timer.h
chip_unrename.h
chip_serial.c
chip_serial.cfg
chip_serial.h
pico_dev.c

