A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
BSD 2-Clause "Simplified" License
13
stars
11
forks
source link
serial: client zero colour is too dark #141
Open
Ivan-Velickovic opened 2 weeks ago
I have a dark terminal, so this is what it looks like for me:
This is probably trivial to fix, but I am doing something else right now so writing this down so I don't forget.