#!/bin/bash

./kernel_build/build.sh "$(pwd)" || exit 1