genode/ports-foc/lib/mk/l4lx.mk
Stefan Kalkowski 760f37fc86 Fiasco.OC: enable SMP for L4Linux
This commit comprises the following changes to enable L4Linux to use several
CPUs:
* change default configuration for x86 and ARM
* add atomic cmpxchg operation to l4re library
* implement l4_sleep (per thread)
* enable setting affinity for VCPUs and IRQs
* move "per CPU" section within linker-script (x86 only)
* introduce SMP run-script for pandaboard
* deactivate direct scheduler (Fiasco.OC syscall) access by L4Linux
2012-09-14 12:30:29 +02:00

37 lines
903 B
Makefile

#
# L4Linux support library
#
SRC_CC += env.cc \
dataspace.cc \
genode_block.cc \
genode_framebuffer.cc \
genode_input.cc \
genode_net.cc \
genode_terminal.cc \
l4_io.cc \
l4_log.cc \
l4_re_c_dataspace.cc \
l4_re_c_debug.cc \
l4_re_c_mem_alloc.cc \
l4_re_c_namespace.cc \
l4_re_c_rm.cc \
l4_re_c_util_cap.cc \
l4_re_env.cc \
l4_util_atomic.cc \
l4_util_cpu.cc \
l4_util_kip.cc \
l4_util_util.cc \
l4lx_irq.cc \
l4lx_memory.cc \
l4lx_task.cc \
l4lx_thread.cc \
rm.cc \
startup.cc
INC_DIR += $(REP_DIR)/include \
$(REP_DIR)/src/lib/l4lx/include \
LIBS = cxx env thread signal
vpath %.cc $(REP_DIR)/src/lib/l4lx