/SPARTAN/trunk/Makefile.config |
---|
25,3 → 25,28 |
CONFIG_DEBUG = n |
CONFIG_DEBUG_SPINLOCK = y |
## Run-time configuration directives |
# |
# CONFIG_USERSPACE (n/y) |
# Enable user space support |
# |
# CONFIG_TEST (value) |
# Compile in test "value" (empty string for no test) |
# |
CONFIG_USERSPACE = n |
CONFIG_TEST = |
#CONFIG_TEST = synch/rwlock1/ |
#CONFIG_TEST = synch/rwlock2/ |
#CONFIG_TEST = synch/rwlock3/ |
#CONFIG_TEST = synch/rwlock4/ |
#CONFIG_TEST = synch/rwlock5/ |
#CONFIG_TEST = synch/semaphore1/ |
#CONFIG_TEST = synch/semaphore2/ |
#CONFIG_TEST = fpu/fpu1/ |
#CONFIG_TEST = fpu/sse1/ |
#CONFIG_TEST = fpu/mips1/ |
#CONFIG_TEST = print/print1/ |
#CONFIG_TEST = thread/thread1/ |
#CONFIG_TEST = mm/mapping1/ |
/SPARTAN/trunk/generic/src/main/kinit.c |
---|
50,9 → 50,9 |
#include <synch/waitq.h> |
#include <synch/spinlock.h> |
#ifdef __TEST__ |
#ifdef CONFIG_TEST |
#include <test.h> |
#endif /* __TEST__ */ |
#endif /* CONFIG_TEST */ |
#include <mm/frame.h> |
117,7 → 117,7 |
interrupts_enable(); |
#ifdef __USERSPACE__ |
#ifdef CONFIG_USERSPACE |
/* |
* Create the first user task. |
*/ |
149,11 → 149,11 |
vm_area_map(a, m); |
thread_ready(t); |
#endif /* __USERSPACE__ */ |
#endif /* CONFIG_USERSPACE */ |
#ifdef __TEST__ |
#ifdef CONFIG_TEST |
test(); |
#endif /* __TEST__ */ |
#endif /* CONFIG_TEST */ |
while (1) { |
/SPARTAN/trunk/Makefile |
---|
64,6 → 64,9 |
ifeq ($(CONFIG_DEBUG_SPINLOCK),y) |
DEFS += -DCONFIG_DEBUG_SPINLOCK |
endif |
ifeq ($(CONFIG_USERSPACE),y) |
DEFS += -DCONFIG_USERSPACE |
endif |
## Toolchain configuration |
# |
119,6 → 122,14 |
generic/src/smp/ipi.c \ |
generic/src/fb/font-8x16.c |
## Test sources |
# |
ifneq ($(CONFIG_TEST),) |
DEFS += -DCONFIG_TEST |
GENERIC_SOURCES += test/$(CONFIG_TEST)/test.c |
endif |
GENERIC_OBJECTS := $(addsuffix .o,$(basename $(GENERIC_SOURCES))) |
ARCH_OBJECTS := $(addsuffix .o,$(basename $(ARCH_SOURCES))) |
GENARCH_OBJECTS := $(addsuffix .o,$(basename $(GENARCH_SOURCES))) |