diff --git a/evm/src/cpu/kernel/aggregator.rs b/evm/src/cpu/kernel/aggregator.rs
index 67fab89c..0ebfb53e 100644
--- a/evm/src/cpu/kernel/aggregator.rs
+++ b/evm/src/cpu/kernel/aggregator.rs
@@ -23,7 +23,6 @@ pub(crate) fn combined_kernel() -> Kernel {
         include_str!("asm/bignum/mul.asm"),
         include_str!("asm/bignum/shr.asm"),
         include_str!("asm/bignum/util.asm"),
-        include_str!("asm/core/bootloader.asm"),
         include_str!("asm/core/call.asm"),
         include_str!("asm/core/call_gas.asm"),
         include_str!("asm/core/create.asm"),
diff --git a/evm/src/cpu/kernel/asm/core/bootloader.asm b/evm/src/cpu/kernel/asm/core/bootloader.asm
deleted file mode 100644
index d1062bdc..00000000
--- a/evm/src/cpu/kernel/asm/core/bootloader.asm
+++ /dev/null
@@ -1,15 +0,0 @@
-// Loads some prover-provided contract code into the code segment of memory,
-// then hashes the code and returns the hash.
-global bootload_contract:
-    // stack: address, retdest
-//    %stack (address, retdest) -> (address, after_load_code, retdest)
-//    %jump(load_code)
-    PANIC // TODO
-
-global bootload_code:
-    // stack: code_len, retdest
-    PANIC // TODO
-
-    // stack: code_hash, retdest
-    SWAP1
-    JUMP