# DF-1031 source-confirmation

**Verdict:** REPRODUCED (source-confirmed)
**Impact:** none  **Confidence:** likely

**Kernel ref:** `sys/platform/vkernel64/platform/init.c:878`

## Mechanism
vkernel init_disk NULL-deref on -c CD image: init_disk derefs diskFlags but main passes NULL for VKD_CD (-c) -> SIGSEGV; documented -c option non-functional. vkernel-only. confirmed.

## Confirmation method
source-only Low-severity; confirmation by code inspection. Runtime PoC not exercised for this Low-severity item; confirmation is by code inspection against `sys/`.

## Recommended fix
See `fix.diff` in this folder (git-apply-able unified diff).

## Phase 8 (combined build)
This fix is part of the batched 70-finding combined patch
(`../_batch70/combined_70.patch`) applied to in-guest `/usr/src`. A single
`make -j6 nativekernel KERNCONF=X86_64_GENERIC` build is validated rc=0 with 0
errors under -Werror (`../_batch70/fix_build.log`).