mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-01 19:46:45 +00:00
a7235d2411
Since no kernel objects can be created anymore outside Genode::core, the Vancouver port must be adjusted to use solely the Genode interfaces. The Vcpu_dispatcher creates all portals via the cpu_session interface and uses the feature to setup a specific receive window during a IPC (the cap_session::alloc IPC) to place to be received/to be mapped capability (virtualization exception portal) at the designed indexes. The actual vCPU thread extends from a normal Genode::Thread and extends it by specific vCPU requirements, which are a larger exception base window and the need by Vancouver to place the SM and EC cap at indexes next to each other. Fixes #316 |
||
|---|---|---|
| .. | ||
| doc | ||
| include/noux_session | ||
| lib/mk | ||
| mk | ||
| ports | ||
| run | ||
| src | ||
| Makefile | ||
| 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'. Furthermore, applications may require additional repositories. For example, the Arora web browser depends on the 'qt4' repository.