genode/repos/ports
Sebastian Sumpf 963f5de117 vbox5: increase boot speed of Linux guests
Until now, if we examined an EPT fault and the corresponding guest
physical memory was not allocated, we forwarded the faulting instruction
to the instruction emulator, which in turn handled the memory allocation
implicitly. This lead to long instruction emulation times on certain
instructions (e.g. 'rep mov' on large memory junks).  Therefore, we now
allocate and map the corresponding guest physical memory immediately in
the EPT fault handler and directly return to the guest.

fixes #2645
2018-01-17 12:19:44 +01:00
..
doc Make label prefixing more strict 2016-11-30 13:37:07 +01:00
include pthread: prevent copy of Genode::Thread object 2018-01-17 12:14:34 +01:00
lib vbox: support symlinks on host file system 2018-01-17 12:14:43 +01:00
mk Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
ports virtualbox5: prevent null-pointer dereference 2017-12-21 15:01:50 +01:00
recipes depot: update recipe hashes 2018-01-17 12:14:44 +01:00
run netperf: explicitly test IPv4 only 2018-01-17 12:14:44 +01:00
src vbox5: increase boot speed of Linux guests 2018-01-17 12:19:44 +01:00
README Remove repos/qt4, fix #1451 2015-03-19 08:57:20 +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'.