DF-0023 / run.sh
#!/bin/sh # DF-0023 run. Run as an UNPRIVILEGED user. # einval_noop forks a child for the write probe so the parent survives to # report; on the UNPATCHED kernel the child wedges in an uninterruptible # kernel loop and is left orphaned (unkillable - that is part of the proof). cd "$(dirname "$0")" ./einval_noop echo "---- separate write-path probe (no fork; will hang on unpatched) ----" timeout 12 ./write_only |