genode

mirror of https://github.com/genodelabs/genode.git synced 2025-02-21 10:01:57 +00:00

History

Stefan Kalkowski ac1ff2f5f8 Fiasco.OC: keep reference to capabilities in use.

Due to recently introduces smart-pointers to Cap_index objects it's
necessary to always keep at least one reference as long as a corresponding
slot in the capability-space of a process is in use. This is especially
important for L4Linux that uses cap-slots directly without the given
abstractions of Genode.

2012-05-09 20:50:57 +02:00

config

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

doc

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

etc

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

include

Fiasco.OC: smart-pointer for kernel capabilities.

2012-05-09 20:50:57 +02:00

lib/mk

Fiasco.OC: remove cap_alloc library (fix #160 )

2012-03-23 14:33:46 +01:00

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

patches

Fiasco.OC: fix l4_task_cap_equal semantic.

2012-05-09 20:50:57 +02:00

run

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

src

Fiasco.OC: keep reference to capabilities in use.

2012-05-09 20:50:57 +02:00

Makefile

Fix subversion usage of 'make prepare' in base-foc

2012-01-17 23:17:08 +01:00

README

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

README

This repository contains the port of Genode to the Fiasco.OC microkernel.
For further information, please refer to the following documents:

:[http://genode.org/community/wiki/GenodeOnFiascoOC - Genode on Fiasco.OC Wiki page]:
  This Wiki page contains the information on how to build and use
  Genode with Fiasco.OC.

:[http://os.inf.tu-dresden.de/fiasco]:
  Official website for the Fiasco.OC microkernel.