genode

mirror of https://github.com/genodelabs/genode.git synced 2025-02-21 18:06:50 +00:00

History

Stefan Kalkowski ca004658d9 Fiasco.OC: smart-pointer for kernel capabilities.

Implements Native_capability as smart-pointer type referencing Cap_index
objects. Whenever capabilities are copied, assigned, constructed, or destructed
the reference-counter of the Cap_index is incremented/decremented. When it
reaches zero the Cap_index is removed from the process-global cap_map and
gets freed. Fix for issue #32.

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

Fix Fiasco.OC's build-system (fix #177 )

2012-04-16 12:15:31 +02:00

run

Imported Genode release 11.11

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

src

Fiasco.OC: smart-pointer for kernel capabilities.

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.