crates/sel4-capdl-initializer: add support for x86 IOPorts #312

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	3m 15s
Check licenses	14s
Check dependencies	4m 19s
Build docs	42m 10s
Check source	1m 33s
Run other tests	6m 50s
Build everything	0s
Deploy docs	0s
	58m 21s