genode/repos/base-okl4/ports/okl4.port

LICENSE   := OKL4
VERSION   := 2.1.1
DOWNLOADS := okl4.archive

URL(okl4) := http://genode.org/files/okl4_2.1.1-patch.9.tar.gz
SHA(okl4) := ff3062344fd6b0a3bd69d99583aa271d3bb13911
DIR(okl4) := src/kernel/okl4

PATCHES   := $(wildcard $(REP_DIR)/patches/*.patch)
PATCH_OPT := -p1 -d src/kernel/okl4
base-okl4: migrate to new ports mechanism Issue #1082 2014-05-16 22:34:46 +00:00			`LICENSE := OKL4`
			`VERSION := 2.1.1`
			`DOWNLOADS := okl4.archive`

Move OKL4 source code on genode.org The original download location at wiki.ok-labs.com went down. Fixes #1489 2015-04-24 08:02:40 +00:00			`URL(okl4) := http://genode.org/files/okl4_2.1.1-patch.9.tar.gz`
base-okl4: migrate to new ports mechanism Issue #1082 2014-05-16 22:34:46 +00:00			`SHA(okl4) := ff3062344fd6b0a3bd69d99583aa271d3bb13911`
			`DIR(okl4) := src/kernel/okl4`

			`PATCHES := $(wildcard $(REP_DIR)/patches/*.patch)`
			`PATCH_OPT := -p1 -d src/kernel/okl4`