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
blk: add back data region globals #142
Closed
Ivan-Velickovic closed 2 weeks ago
Removed in f1efff160a8eee65489df1baa8fc8a0824662332, but we need these still.
Ideally the virtualiser would not need access to the data, but that's a seperate issue that we intend to fix.