genode

mirror of https://github.com/genodelabs/genode.git synced 2025-01-30 16:14:13 +00:00

History

Christian Prochaska f23d3cb66b Increase the JDB kernel object names buffer size

This patch increases the size of the JDB kernel object names buffer. The
original size was too small for some Genode scenarios and caused missing
thread names in the kernel debugger thread list.

Fixes #191.

2012-05-09 20:56:49 +02:00

config

Imported Genode release 11.11

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

Fiasco.OC: smart-pointer for kernel capabilities.

2012-05-09 20:50:57 +02:00

lib/mk

Fiasco.OC: remove cap_alloc library (fix #160 )

2012-03-23 14:33:46 +01:00

Imported Genode release 11.11

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

patches

Increase the JDB kernel object names buffer size

2012-05-09 20:56:49 +02:00

run

Imported Genode release 11.11

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

src

Fiasco.OC: increase core link address

2012-05-09 20:54:31 +02:00

Makefile

Fix subversion usage of 'make prepare' in base-foc

2012-01-17 23:17:08 +01: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.