#!/bin/bash
# "uname -r": prints $STUB_KERNEL.
printf '%s\n' "$STUB_KERNEL"
