max80_fw/iodevs.conf

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

our $xdev_addr_bits   = 2;
our $xdev_addr_shift  = 28;
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 => 'sys' },
    { -name => 'sysclock',  -irq => 'e' },
    { -name => 'console',   -irq => 'l' },
    { -name => 'sdcard',    -irq => 'l' },
    { -name => 'i2c',       -irq => 'e' },
    { -name => 'esp',       -irq => 'l' },
    { -name => 'abc',       -irq => 'e' },
    { -name => 'abcmemmap', -xdev => 1 },
);