1 files changed, 1 insertions, 2 deletions

diff --git a/BUILD b/BUILD
index e92c64d..8dd104a 100644
--- a/BUILD
+++ b/BUILD
@@ -244,8 +244,7 @@ cc_library(
 cc_library(
     name = "kernel",
     srcs = [
-        "kernel_arm32.cc",
-        "kernel_arm64.cc",
+        "kernel.cc",
     ],
     hdrs = [
         "kernel.h",