RP2040 Boot Sequence | Hacker News Reader