How to build micropython firmware for Tiny 2040?

Hi, how can I build firmware for micropython for Tiny 2040?

I’m following the instruction here:

But this is specific to the pi pico, therefore I managed to build a firmware but with only 2MB storage

What do I need to do to build with the full 8MB storage?