[CI] Run mkinitrd in build_kernel.py
This will also build mkinitrd if necessary, ensuring it's available in CI
@@ -106,6 +106,9 @@ def build_initrd2() -> None:
if not mkinitrd_path.exists():
raise RuntimeError(f"mkinitrd directory missing, expected at {mkinitrd_path}")
+ # This will also build mkinitrd, if necessary
+ run_and_check(['cargo', 'run', '--release'], cwd=mkinitrd_path)
+
generated_initrd = mkinitrd_path / "output.img"
if not generated_initrd.exists():
raise RuntimeError(f"mkinitrd did not generate initrd at {generated_initrd}")
