seL4 / util_libs

Other
53 stars 83 forks source link

libplatsupport/morello: Add basic drivers for morello-soc #177

Open heshamelmatary opened 5 months ago

heshamelmatary commented 5 months ago

This is a Morello hardware platform also known as morello-sdp board. 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.