TODOs

• Get the board
• make: Support flashing built image
• kernel: Write machine-specific code (serial port and timer driver)
• driver: Implement RP2040-specific peripherals (e.g. RTC)

References

• RP2040 Datasheet