genode

mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00

Files

Stefan Kalkowski bb4ee67357 base-linux: do not copy dataspace components

Dataspace components inherit from RPC objects which are non-copyable from now
on. Therefore, the Rom_session_component's constructor had to be modified
to not construct a dataspace component on the stack and assign it in the
following.

Ref #1704

2015-09-30 12:20:41 +02:00

etc

Move repositories to 'repos/' subdirectory

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

include

base: remove pager code from public API

2015-07-01 14:46:15 +02:00

lib

linux: explicitly add well-known include paths

2015-09-30 12:20:37 +02:00

mk/spec

Introduce 'spec' subdirectories to outline aspects

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

run

autopilot: adapt runscripts to new run tool

2015-01-26 12:28:41 +01:00

src

base-linux: do not copy dataspace components

2015-09-30 12:20:41 +02:00

README

Move repositories to 'repos/' subdirectory

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

README

This repository contains the Linux-specific implementation of Genode.