max80_fw/iodevs.conf

# -*- perl -*-
#
# I/O device configuration
#

our $iodev_addr_bits  = 4;
our $iodev_addr_shift = 7;

# Special IRQs (CPU or non-device)
our @sysirqs = ('timer', 'ebreak', 'buserr');

# Define -irq to a string of 'e' (edge) or 'l' (level)
# for a corresponding number of IRQs.
our @iodevs = (
    { -name => 'led' },
    { -name => 'reset' },
    { -name => 'romcopy' },
    { -name => 'sysclock', -irq => 'e' },
    { -name => 'console',  -irq => 'l' },
    { -name => 'sdcard',   -irq => 'l' },
    { -name => 'esp',      -irq => 'l' }
);