genode

mirror of https://github.com/genodelabs/genode.git synced 2025-04-11 13:22:33 +00:00

History

Alexander Boettcher 6f3e9c12fb vbox: support shutdown of VMM

- send exit signal to parent
- avoid assertion in vbox posix backend

Fixes #1687

2015-10-06 12:18:51 +02:00

doc

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

include

CPU session: apply quota via relative weightings

2015-05-06 10:55:16 +02:00

lib

Introduce 'spec' subdirectories to outline aspects

2015-09-16 13:58:50 +02:00

tool_chain: cleanup

2015-05-26 09:39:49 +02:00

ports

vbox: support shutdown of VMM

2015-10-06 12:18:51 +02:00

run

vbox: support shutdown of VMM

2015-10-06 12:18:51 +02:00

src

vbox: support shutdown of VMM

2015-10-06 12:18:51 +02:00

Makefile

Unify 'make prepare' between libports and ports

2014-05-14 16:08:00 +02:00

README

Remove repos/qt4, fix #1451

2015-03-19 08:57:20 +01:00

README

This directory contains ports of popular 3rd-party applications to Genode.

The 'ports' repository follows the line of the 'libports' repository.
For instructions about downloading and building 3rd-party applications,
please refer to 'libports/README'.


Dependencies from other repositories
------------------------------------

Application provided by the 'ports' repository typically expect a rich
runtime environment, including shared libraries provided by the 'libports'
repository. Hence, 'ports' depends on 'libports'.