mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-25 08:21:08 +00:00
f9269f5cb1
Fixes #1425
10 lines
265 B
Plaintext
10 lines
265 B
Plaintext
LICENSE := GPLv3
|
|
VERSION := git
|
|
DOWNLOADS := codezero.git
|
|
|
|
URL(codezero) := https://github.com/nfeske/codezero.git
|
|
REV(codezero) := 6fa4884a5a1cf6207372f69ae01e5faa6d5a39c8
|
|
DIR(codezero) := src/kernel/codezero
|
|
|
|
PATCHES := $(wildcard $(REP_DIR)/patches/*.patch)
|