genode

mirror of https://github.com/genodelabs/genode.git synced 2025-03-29 07:06:25 +00:00

History

Martin Stein 685f509a43 timer connection: no interpolation on arm w/o hw

On ARM, we do not have a component-local hardware time-source. The ARM
performance counter has no reliable frequency as the ARM idle command
halts the counter. Thus, we do not do local time interpolation on ARM.
Except we're on the HW kernel. In this case we can read out the kernel
time instead.

Ref #2435

2017-05-31 17:50:28 +02:00

config

foc: remove obsolete features (ref #2405 )

2017-05-31 13:16:08 +02:00

doc

ports-foc: remove L4Linux

2017-01-31 12:01:12 +01:00

etc

base-foc: remove obsolete mk files

2017-02-28 12:59:25 +01:00

include

foc: remove obsolete features (ref #2405 )

2017-05-31 13:16:08 +02:00

lib

timer connection: no interpolation on arm w/o hw

2017-05-31 17:50:28 +02:00

ports

foc: update to recent revision r72 (fix #2405 )

2017-05-31 13:16:08 +02:00

recipes/src/base-foc

Depot-archive recipes

2017-05-31 13:15:56 +02:00

run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

src

core: split RAM dataspace factory from RAM service

2017-05-31 13:16:12 +02:00

README

Move repositories to 'repos/' subdirectory

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

README

This repository contains the port of Genode to the Fiasco.OC microkernel.
For further information, please refer to the following documents:

:[http://genode.org/community/wiki/GenodeOnFiascoOC - Genode on Fiasco.OC Wiki page]:
  This Wiki page contains the information on how to build and use
  Genode with Fiasco.OC.

:[http://os.inf.tu-dresden.de/fiasco]:
  Official website for the Fiasco.OC microkernel.