evandro-teixeira/PicoOs

PicoOS is Operating System (OS) intended for Raspberry Pi Pico

Makefile