__flash = 0x20000000;
__flash_size = 4k;
__ram   = 0x20001000;
__ram_size = 4k;
__stack_size = 512;

INCLUDE picolibc.ld