util_libs
util_libs copied to clipboard
fix: patches from kent
paired with patch in global components.
See https://github.com/seL4/global-components/pull/25
Converting these PRs to draft for now as they're currently the minimum set of changes to run Ethdrivers on imx8mq-evk but aren't necessarily safe to merge due to impacts on behavior of other platforms.
This PR can now be reviewed to be the next to get merged. Make sure there are at least 2 approvals before merging.
This PR can now be reviewed to be the next to get merged. Make sure there are at least 2 approvals before merging.
This PR can now be reviewed to be the next to get merged. Make sure there are at least 2 approvals before merging.
This PR can now be reviewed to be the next to get merged. Make sure there are at least 2 approvals before merging.
This PR can now be reviewed to be the next to get merged. Make sure there are at least 2 approvals before merging.