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 _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
