seL4 / util_libs

Other
53 stars 83 forks source link

libplatsupport/morello: Add basic drivers for fvp #175

Open heshamelmatary opened 5 months ago

heshamelmatary commented 5 months ago

This is mostly derived from the existing FVP platform; the main changes are the UART and timer addresses and IRQ IDs. Just two drivers are supported, PL011 for the console and SP804 for user-level timers.