crates/sel4-kernel-loader: Add missing kernel config includes #390

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	1m 36s
Check Kani proofs	3m 4s
Check dependencies	2m 43s
Check licenses	14s
Check source	1m 42s
Run other tests	4m 49s
Build everything	5m 52s
Deploy docs	30s
	20m 30s