search

au-ts / lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel
https://lionsos.org
BSD 2-Clause "Simplified" License
84 stars 12 forks source link

sDDF compatibiity changes for LionsOS Kitty example #81

Closed wom-bat closed 2 months ago

wom-bat commented 3 months ago

-- Introduce serial_config.h -- Move both config files (ethernet_config.h and serial_config.h) into a config directory -- Adjust micropython glue files to use new serial interfaces -- Adjust system description file to use new serial interfaces -- Adjust nfs subsystem to use new serial interfaces -- Update to latest libvmm and sDDF

Compiles, but untested.