diff --git a/kernel/is_valid.o b/kernel/is_valid.o
new file mode 100644
index 0000000..75f17fe
Binary files /dev/null and b/kernel/is_valid.o differ