926a19217e
Sv39 is the only mode supported for now. However, it should be trivial to extend the driver to support the other modes (including Sv32) as well. The driver is tested with mpfs only, but it should work with any riscv implementation. |
||
---|---|---|
.. | ||
hardware | ||
chip.h | ||
Kconfig | ||
Make.defs | ||
mpfs_allocateheap.c | ||
mpfs_cache.c | ||
mpfs_cache.h | ||
mpfs_clockconfig.c | ||
mpfs_clockconfig.h | ||
mpfs_config.h | ||
mpfs_corepwm.c | ||
mpfs_corepwm.h | ||
mpfs_ddr.c | ||
mpfs_ddr.h | ||
mpfs_dma.c | ||
mpfs_dma.h | ||
mpfs_emmcsd.c | ||
mpfs_emmcsd.h | ||
mpfs_gpio.c | ||
mpfs_gpio.h | ||
mpfs_head.S | ||
mpfs_i2c.c | ||
mpfs_i2c.h | ||
mpfs_idle.c | ||
mpfs_irq_dispatch.c | ||
mpfs_irq.c | ||
mpfs_lowputc.c | ||
mpfs_lowputc.h | ||
mpfs_memorymap.h | ||
mpfs_opensbi_utils.S | ||
mpfs_opensbi.c | ||
mpfs_serial.c | ||
mpfs_spi.c | ||
mpfs_spi.h | ||
mpfs_start.c | ||
mpfs_systemreset.c | ||
mpfs_timerisr.c | ||
mpfs_userspace.c | ||
mpfs_userspace.h | ||
mpfs.h |