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

LICENSE   := GPLv2
VERSION   := git
DOWNLOADS := foc.git
URL(foc)  := https://github.com/skalk/foc.git
REV(foc)  := b171e6bf66aad298c589e467aa16df18cc4afac3
DIR(foc)  := src/kernel/foc
base-foc: migrate to new ports mechanism Issue #1082 2014-05-21 09:56:14 +00:00			`LICENSE := GPLv2`
			`VERSION := git`
			`DOWNLOADS := foc.git`
foc: update to recent revision r72 (fix #2405) 2015-01-20 09:51:32 +00:00			`URL(foc) := https://github.com/skalk/foc.git`
base-foc: fix thread pause/resume Fix #2594 2017-12-08 11:05:04 +00:00			`REV(foc) := b171e6bf66aad298c589e467aa16df18cc4afac3`
base-foc: migrate to new ports mechanism Issue #1082 2014-05-21 09:56:14 +00:00			`DIR(foc) := src/kernel/foc`