genode

mirror of https://github.com/genodelabs/genode.git synced 2025-02-21 18:06:50 +00:00

History

Sebastian Sumpf 4a3d852b65 Core: Shared IRQ support for Nova/FOC/OKL4

Implement shared IRQs using 'Irq_proxy' class.

Nova: Added global worker 'Irq_thread' support in core and adapted Irq_session.

FOC: Adapted IRQ session code, x86 has shared IRQ support, ARM uses the old
model. Read and set 'mode' argument (from MADT) in 'Irq_session'.

OKL4: Use generic 'Irq_proxy'

Fixes issue #390

2012-10-11 17:10:16 +02:00

config

Fiasco.OC: always use fixed priority scheduler

2012-09-19 14:27:42 +02:00

doc

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

etc

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

include

Move context area definition to native_type

2012-09-24 09:17:54 +02:00

lib/mk

Fiasco.OC: update to recent version (svn rev. 40)

2012-09-18 10:53:16 +02:00

Fiasco.OC: basic support for pandaboard

2012-05-29 13:55:00 +02:00

patches

Fiasco.OC: fix io-port fault answer in sigma0

2012-09-18 16:47:59 +02:00

run

Fiasco.OC: update to recent version (svn rev. 40)

2012-09-18 10:53:16 +02:00

src

Core: Shared IRQ support for Nova/FOC/OKL4

2012-10-11 17:10:16 +02:00

Makefile

Fiasco.OC: update to recent version (svn rev. 40)

2012-09-18 10:53:16 +02:00

README

Imported Genode release 11.11

2011-12-22 16:19:25 +01: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.