genode/ports
Alexander Boettcher b4283c9121 seoul: use utcb guard
Forgetting to restore the old utcb content results in hard to debug bugs.
Save only the amount of word items which are actually on the UTCB.

Issue #806
2013-07-18 11:55:18 +02:00
..
doc Update the GDB monitor test documentation 2012-02-26 13:52:20 +01:00
include/noux_session Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
lib Add 'seoul_libc_support' library 2013-03-18 13:09:16 +01:00
mk Merge base libraries into a single library 2013-02-19 14:45:55 +01:00
ports ports/libports: Avoid multi-target rules 2013-06-12 11:35:13 +02:00
run seoul: split vancouver run script into smaller ones 2013-07-18 11:55:17 +02:00
src seoul: use utcb guard 2013-07-18 11:55:18 +02:00
Makefile ports/libports: Use repository-local PWD 2013-06-12 11:35:13 +02:00
README Fixed a typo (added 'require'), fix #87 2012-01-19 20:37:29 +01:00

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'. Furthermore, applications
may require additional repositories. For example, the Arora web browser depends
on the 'qt4' repository.