__flash = 0x00000000; __flash_size = 0x00400000; __ram = 0x20000000; __ram_size = 0x00200000; __stack_size = 4k; INCLUDE picolibc.ld