search

au-ts / sddf

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
Other
17 stars 14 forks source link

serial: use appropriate sizes for shared memory regions #66

Closed Ivan-Velickovic closed 2 months ago

Ivan-Velickovic commented 6 months ago

Right now all the shared memory regions for serial follow what the networking sub-system with having a default of 2MB.

For serial, we can definitely make these smaller.

We should remember to update the repositories that depend on serial sDDF (LionsOS, libvmm, profiler, GDB).