# kernel/module.mk
SRCS_CC += kernel/main.cc
SRCS_CC += kernel/sync/spinlock.cc