#!/bin/bash

kernel=$1