5 files changed, 0 insertions, 123 deletions
diff --git a/tools/dep_builders/binutils b/tools/dep_builders/binutils
deleted file mode 100755
index 42dd04b..0000000
--- a/tools/dep_builders/binutils
+++ /dev/null
@@ -1,27 +0,0 @@
-#!/bin/sh
-set -eu
-
-# ensure that we're in the repo root
-if [ ! -d .git ]; then
-	echo please cd to the repo\'s main directory
-	exit
-fi
-
-export PREFIX="$(pwd)/toolchain/prefix/"
-export PATH="$(pwd)/toolchain/prefix/bin/:$PATH"
-BUILDDIR="$(pwd)/toolchain/binutils-build/"
-SYSROOT="$(pwd)/sysroot/"
-mkdir -p $PREFIX
-mkdir -p $BUILDDIR
-
-cd $BUILDDIR
-
-../binutils/configure \
-	--target=x86_64-camellia \
-	--prefix="$PREFIX" \
-	--with-sysroot="$SYSROOT" \
-	--disable-nls \
-	--disable-werror
-mkdir -p gas/doc/ # stupid workaround for the broken build
-make -j4
-make install
diff --git a/tools/dep_builders/dl b/tools/dep_builders/dl
deleted file mode 100755
index 8cfeebc..0000000
--- a/tools/dep_builders/dl
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/sh
-# downloads a file to toolchain/cache unless it's already present there
-
-mkdir -p toolchain/cache
-OUT="toolchain/cache/$(basename $1)"
-
-[ -e "$OUT" ] && exit
-echo "downloading $1..."
-curl "$1" > $OUT
diff --git a/tools/dep_builders/gcc b/tools/dep_builders/gcc
deleted file mode 100755
index 0a37541..0000000
--- a/tools/dep_builders/gcc
+++ /dev/null
@@ -1,31 +0,0 @@
-#!/bin/sh
-set -eu
-
-# ensure that we're in the repo root
-if [ ! -d .git ]; then
-	echo please cd to the repo\'s main directory
-	exit
-fi
-
-export PREFIX="$(pwd)/toolchain/prefix/"
-export PATH="$(pwd)/toolchain/prefix/bin/:$PATH"
-BUILDDIR="$(pwd)/toolchain/gcc-build/"
-SYSROOT="$(pwd)/sysroot/"
-mkdir -p $PREFIX
-mkdir -p $BUILDDIR
-
-cd $BUILDDIR
-
-../gcc/configure \
-	--target=x86_64-camellia \
-	--prefix="$PREFIX" \
-	--with-sysroot="$SYSROOT" \
-	--enable-languages=c,c++ \
-	--enable-default-pie \
-	--disable-nls \
-	--disable-gcov \
-	--disable-werror
-make -j4 all-gcc
-make -j4 all-target-libgcc
-make install-gcc
-make install-target-libgcc
diff --git a/tools/sort_includes.rb b/tools/sort_includes.rb
deleted file mode 100755
index c9f7076..0000000
--- a/tools/sort_includes.rb
+++ /dev/null
@@ -1,42 +0,0 @@
-#!/usr/bin/env ruby
-
-def is_include str
-  str.start_with? '#include'
-end
-
-files = ARGV
-if files.empty?
-  default = "src/**/*.[ch]"
-  puts "no arguments passed, defaulting to #{default}"
-  files = Dir[default]
-end
-
-files.each { |path|
-  File.open(path, "r+") do |file|
-    lines = file.readlines
-
-    last = nil
-    grouped = []
-    lines.each do |line|
-      if is_include(line) != last
-        grouped << [line]
-        last = is_include(line)
-      else
-        grouped[-1] << line
-      end
-    end
-
-    grouped.map do |group|
-      group.sort! if is_include group[0]
-    end
-    grouped = grouped.flatten
-
-    next if grouped == lines
-
-    puts path
-    file.truncate(0)
-    file.seek(0)
-    file.write grouped.join
-  end
-}
-
diff --git a/tools/stacktrace_resolve.awk b/tools/stacktrace_resolve.awk
deleted file mode 100644
index 53d6993..0000000
--- a/tools/stacktrace_resolve.awk
+++ /dev/null
@@ -1,14 +0,0 @@
-/k\/[0-9A-Fa-f]{8}/ {
-	print;
-	while (match($0, /k\/[0-9A-Fa-f]{8}/)) {
-		addr = substr($0, RSTART + 2, RLENGTH - 2);
-		if (addr != "00000000") {
-			printf "    ";
-			system("addr2line -psfe out/fs/boot/kernel 0x" addr);
-		}
-		$0 = substr($0, RSTART + RLENGTH);
-	}
-	next;
-}
-
-{ print; }