j
k
j a
j l
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
Show replies by date
devel@sel4.systems
Add to favorites Remove from favorites