18 Jul
2022
18 Jul
'22
10:43 a.m.
Has anyone extended the code in https://github.com/seL4/util_libs libpci to handle multiple root complexes?
See bug https://github.com/seL4/util_libs/issues/131
I know genode added code to handle this, but they don't use that library.
Peter C
--
Dr Peter Chubb https://trustworthy.systems/
Trustworthy Systems Group CSE, UNSW