diff options
Diffstat (limited to 'kern/Makefile')
| -rw-r--r-- | kern/Makefile | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/kern/Makefile b/kern/Makefile new file mode 100644 index 00000000..0aa96fc3 --- /dev/null +++ b/kern/Makefile @@ -0,0 +1,42 @@ +x15_SOURCES-y += \ + kern/arg.c \ + kern/bitmap.c \ + kern/cbuf.c \ + kern/clock.c \ + kern/condition.c \ + kern/console.c \ + kern/cpumap.c \ + kern/error.c \ + kern/fmt.c \ + kern/init.c \ + kern/intr.c \ + kern/kernel.c \ + kern/kmem.c \ + kern/llsync.c \ + kern/log.c \ + kern/mutex.c \ + kern/panic.c \ + kern/percpu.c \ + kern/plist.c \ + kern/printf.c \ + kern/rbtree.c \ + kern/rdxtree.c \ + kern/rtmutex.c \ + kern/semaphore.c \ + kern/shutdown.c \ + kern/sleepq.c \ + kern/spinlock.c \ + kern/sref.c \ + kern/string.c \ + kern/syscnt.c \ + kern/task.c \ + kern/thread.c \ + kern/timer.c \ + kern/turnstile.c \ + kern/work.c \ + kern/xcall.c + +x15_SOURCES-$(CONFIG_SHELL) += kern/shell.c + +x15_SOURCES-$(CONFIG_MUTEX_ADAPTIVE) += kern/mutex/mutex_adaptive.c +x15_SOURCES-$(CONFIG_MUTEX_PLAIN) += kern/mutex/mutex_plain.c |