diff --git a/devtools.sh b/devtools.sh
deleted file mode 100755
index 12a4844cb..000000000
--- a/devtools.sh
+++ /dev/null
@@ -1,47 +0,0 @@
-#! /bin/sh
-
-current_path=$(pwd)
-xizi_path=Ubiquitous/XiZi
-board=ok1052-c
-qemu_machine=netduinoplus2
-
-run_in_docker() {
-    docker run \
-        -i -t --rm \
-        -v $current_path:$current_path \
-        -w $current_path \
-        xiuos_builder \
-        $@
-}
-
-build() {
-    run_in_docker make -C $xizi_path BOARD=$board
-}
-
-menuconfig() {
-    run_in_docker make -C $xizi_path BOARD=$board menuconfig
-}
-
-clean() {
-    run_in_docker make -C $xizi_path clean
-}
-
-distclean() {
-    run_in_docker make -C $xizi_path distclean
-}
-
-simulate() {
-    qemu-system-arm $debug_param \
-        -machine $qemu_machine \
-        -nographic \
-        -kernel $xizi_path/build/XiZi_$board.elf \
-        $@
-}
-
-gdb() {
-    gdb-multiarch \
-        $xizi_path/build/XiZi_$board.elf \
-        -ex "target remote localhost:1234"
-}
-
-$@