diff --git a/kcargo.sh b/kcargo.sh
deleted file mode 100755
index 1de8fd4..0000000
--- a/kcargo.sh
+++ /dev/null
@@ -1,49 +0,0 @@
-#! /bin/bash
-#
-# Copyright 2020 Google LLC
-#
-# Licensed under the Apache License, Version 2.0 (the "License");
-# you may not use this file except in compliance with the License.
-# You may obtain a copy of the License at
-#
-#     https://www.apache.org/licenses/LICENSE-2.0
-#
-# Unless required by applicable law or agreed to in writing, software
-# distributed under the License is distributed on an "AS IS" BASIS,
-# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-# See the License for the specific language governing permissions and
-# limitations under the License.
-
-# Script for running Shodan cargo outside the build; useful
-# for doing things like kcargo tree or kcargo clippy.
-
-if [[ -z "${ROOTDIR}" ]]; then
-    echo "Source build/setup.sh first"
-    exit 1
-fi
-
-# HACK: sel4-config needs a path to the kernel build which could be
-#   in debug or release
-export SEL4_OUT_DIR=${SEL4_OUT_DIR:-"$ROOTDIR/out/cantrip/riscv32-unknown-elf/debug/kernel/"}
-if [[ ! -d "${SEL4_OUT_DIR}/gen_config" ]]; then
-    echo "No kernel build found at ${SEL4_OUT_DIR}; build a kernel first"
-    exit 2
-fi
-
-CARGO="${CARGO_HOME}/bin/cargo +${CANTRIP_RUST_VERSION}"
-CARGO_TARGET="--target riscv32imac-unknown-none-elf"
-CARGO_TARGET="--target ${RUST_TARGET:-riscv32imac-unknown-none-elf} --features CONFIG_PLAT_SHODAN"
-CARGO_OPTS='-Z unstable-options -Z avoid-dev-deps'
-
-export RUSTFLAGS='-Z tls-model=local-exec'
-
-cmd=${1:-build}
-case "$1" in
-fmt)
-      ${CARGO} $*;;
-""|-*)
-      # TODO(sleffler): maybe set --target-dir to avoid polluting the src tree
-      ${CARGO} build ${CARGO_OPTS} ${CARGO_TARGET};;
-*)
-      ${CARGO} $* ${CARGO_OPTS} ${CARGO_TARGET};;
-esac