#!/bin/bash

# Source the directory paths
DIR="${BASH_SOURCE%/*}"
if [[ ! -d "$DIR" ]]; then DIR="$PWD"; fi
. "$DIR/project_structure"

export PATH=$PATH:$TOOLCHAIN

cd $KERNEL_ROOT
make clean