nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqjqx33d75rxq8z79cg0xn00y0q6uwk4e59x0h35jhl7mdthzxarusm26w3n yeah that's an RP2040 thing. It has 6 banks of SRAM, two of which are 4KB each, and the remaining ones are 64KB. so it's 256KB+8KB