post_install() {
echo
echo "RunC requires support for devices cgroup support in kernel."
echo
echo "If CONFIG_CGROUP_DEVICE was enabled during compile time,"
echo "you need to run the following commands (as root) in order"
echo "to use the RunC:"
echo
echo "  mount -t tmpfs -o mode=755 tmpfs /sys/fs/cgroup"
echo "  mkdir -p /sys/fs/cgroup/devices"
echo "  mount -t cgroup -o devices cgroup /sys/fs/cgroup/devices"
echo
echo "If you got error when running commands listed above, this"
echo "usually means that your kernel lacks CONFIG_CGROUP_DEVICE."
echo
exit 0
}
