#!/bin/bash
source build_kernel.sh
cargo build --release