diff --git a/kernel/src/boot.o b/kernel/src/boot.o deleted file mode 100644 index fa89888..0000000 Binary files a/kernel/src/boot.o and /dev/null differ diff --git a/kernel/src/common.o b/kernel/src/common.o deleted file mode 100644 index 5434839..0000000 Binary files a/kernel/src/common.o and /dev/null differ diff --git a/kernel/src/main.o b/kernel/src/main.o deleted file mode 100644 index d5b7d60..0000000 Binary files a/kernel/src/main.o and /dev/null differ diff --git a/kernel/src/monitor.o b/kernel/src/monitor.o deleted file mode 100644 index 6a445a2..0000000 Binary files a/kernel/src/monitor.o and /dev/null differ