rp2040/example/boot2/main.c

void __attribute__((section(".text.boot2_pre"))) boot2_copy_self(void)
{
    return;
}

int main(void)
{
    return 0;
}