run

bash run.sh ${kernel_name}

format

bash format.sh