genode

mirror of https://github.com/genodelabs/genode.git synced 2025-01-26 22:29:19 +00:00

History

Stefan Kalkowski ccb968ff7d safeguard the synchronized allocator template

* Move the Synced_interface from os -> base
* Align the naming of "synchronized" helpers to "Synced_*"
* Move Synced_range_allocator to core's private headers
* Remove the raw() and lock() members from Synced_allocator and
  Synced_range_allocator, and re-use the Synced_interface for them
* Make core's Mapped_mem_allocator a friend class of Synced_range_allocator
  to enable the needed "unsafe" access of its physical and virtual allocators

Fix #1697

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

config

Move repositories to 'repos/' subdirectory

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

doc

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +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/mk

Introduce 'spec' subdirectories to outline aspects

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

Introduce 'spec' subdirectories to outline aspects

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

patches

fiasco: remove 'const' GCC attribute from some functions

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

ports

fiasco: remove 'const' GCC attribute from some functions

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

src

safeguard the synchronized allocator template

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

Makefile

base-fiasco: migrate to new ports mechanism

2014-05-27 11:14:43 +02:00

README

Move repositories to 'repos/' subdirectory

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

README

This repository contains the L4/Fiasco-specific implementation of Genode.

For instructions to build and start the Fiasco version of Genode, please
consult the documentation located at 'base-fiasco/doc/fiasco.txt'.