micropython/ports/samd/mcu/samd21/mpconfigmcu.h

// Deinitions common to all SAMD21 boards
#include "samd21.h"

#define MICROPY_HW_FLASH_STORAGE_BASE       (0x30000)
#define MICROPY_HW_FLASH_STORAGE_BYTES      (0xFFFF)
#define VFS_BLOCK_SIZE_BYTES                (1536) // 24x 64B flash pages;

#define MICROPY_HW_UART_TXBUF               (1)

#define CPU_FREQ            (48000000)
#define APB_FREQ            (48000000)

#define IRQ_PRI_PENDSV          ((1 << __NVIC_PRIO_BITS) - 1)

static inline uint32_t raise_irq_pri(uint32_t pri) {
    (void)pri;
    return 0;
}

static inline void restore_irq_pri(uint32_t basepri) {
    (void)basepri;
}