genode/repos/libports/lib/mk/solo5.mk

REQUIRES += 64bit

SHARED_LIB = yes

CC_OPT += -D__SOLO5_BINDINGS__ -Drestrict=__restrict__

SRC_CC = bindings.cc

SOLO5_PORT_DIR := $(call select_from_ports,solo5)

INC_DIR += $(SOLO5_PORT_DIR)/src/lib/solo5/bindings
INC_DIR += $(SOLO5_PORT_DIR)/include/solo5
INC_DIR += $(REP_DIR)/include/solo5

vpath bindings.cc $(SOLO5_PORT_DIR)/src/lib/solo5/bindings/genode
Native Solo5 bindings A shared library implementation of the unikernel middleware. https://github.com/Solo5/solo5 Fix #2945 2018-11-07 14:16:30 +00:00			`REQUIRES += 64bit`

			`SHARED_LIB = yes`

			`CC_OPT += -D__SOLO5_BINDINGS__ -Drestrict=__restrict__`

			`SRC_CC = bindings.cc`

Add simple Solo5 tests to depot autopilot Add the following Solo5 tests to Autopilot: hello, fpu, globals, quiet, blk. The remaining tests require a Rtc service or IP routing. Ref #3027 2018-11-29 10:11:49 +00:00			`SOLO5_PORT_DIR := $(call select_from_ports,solo5)`

			`INC_DIR += $(SOLO5_PORT_DIR)/src/lib/solo5/bindings`
			`INC_DIR += $(SOLO5_PORT_DIR)/include/solo5`
			`INC_DIR += $(REP_DIR)/include/solo5`

solo5: update bindings Update the Solo5 upstream to accomadate changes to the Block session and stack protection support in the base library. Ref #3275 Ref #3283 2019-04-10 11:51:32 +00:00			`vpath bindings.cc $(SOLO5_PORT_DIR)/src/lib/solo5/bindings/genode`