#!/bin/sh
# DF-2217 run: issues NVMEIOCGETLOG on /dev/nvme0. On this guest there is NO
# NVMe controller and NO /dev/nvme* -> open() fails with "No such file", proving
# the hardware gate. (See env.txt / VERDICT.md.)
./nvme_getlog /dev/nvme0 2 2>&1
echo "RUN_EXIT=$?  (expected: open: No such file or directory -- HW gate)"