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

LICENSE   := GPLv2
VERSION   := git
DOWNLOADS := foc.git
URL(foc)  := https://github.com/alex-ab/foc.git
REV(foc)  := 45bf2c699552d1e2891d322bea479d95f8c93d02
DIR(foc)  := src/kernel/foc
base-foc: migrate to new ports mechanism Issue #1082 2014-05-21 11:56:14 +02:00			`LICENSE := GPLv2`
			`VERSION := git`
			`DOWNLOADS := foc.git`
vm_session: adjustments to work with seoul vmm for foc, nova, sel4 Issue #3111 2019-04-11 14:28:36 +02:00			`URL(foc) := https://github.com/alex-ab/foc.git`
foc: working VM session support for AMD - kernel: propagate cr0 to VMM on exit in nested paging case - kernel: disable forceful VM exit on task switch - vm_session: adjust to kernel changes Issue #3111 2019-05-05 14:32:46 +02:00			`REV(foc) := 45bf2c699552d1e2891d322bea479d95f8c93d02`
base-foc: migrate to new ports mechanism Issue #1082 2014-05-21 11:56:14 +02:00			`DIR(foc) := src/kernel/foc`