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

11 lines
332 B
Plaintext
Raw Normal View History

LICENSE := OKL4
VERSION := 2.1.1
DOWNLOADS := okl4.archive
URL(okl4) := https://genode.org/files/okl4_2.1.1-patch.9.tar.gz
SHA(okl4) := 9c5bc4f80c22c214ec6a11f46e4acdffc4a541e10c5c96858926431fe8f3823e
DIR(okl4) := src/kernel/okl4
PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))
PATCH_OPT := -p1 -d src/kernel/okl4