genode-main@lists.sourceforge.net

16

replies

netperf

started 2014-01-28 16:02:40 UTC

2016-06-07 14:15:44 UTC

Sebastian Sumpf

7

replies

[TZ_VMM] - libpng on the i.MX53 QSB

started 2016-06-01 16:07:04 UTC

2016-06-03 19:42:24 UTC

Tiago Brito

2

replies

SABRE tablet demo: compilation error on Ubuntu 14.04

started 2016-06-02 20:47:20 UTC

2016-06-03 14:14:11 UTC

r***@mpi-sws.org

3

replies

[TZ_VMM] - i.MX53 QSB

started 2016-05-25 19:56:56 UTC

2016-05-31 17:18:42 UTC

Stefan Kalkowski

4

replies

[IPU] - Framebuffer Driver on the i.MX53 QSB

started 2016-05-27 19:59:06 UTC

2016-05-31 16:59:48 UTC

Stefan Kalkowski

3

replies

16.05 printf test does not build for Cortex A9.

started 2016-05-30 22:34:19 UTC

2016-05-31 03:20:57 UTC

r***@verizon.net

0

replies

Announcement: Genode OS Framework version 16.05 released

started 2016-05-27 14:50:13 UTC

2016-05-27 14:50:13 UTC

Christian Helmuth

1

reply

About GPU support on ARM platforms

started 2016-05-20 01:09:00 UTC

2016-05-26 16:22:42 UTC

Stefan Kalkowski

0

replies

Turmvilla scenario : error copying "......./gems/run/subsystems/noux.subsystem": no such file or directory

started 2016-05-25 16:33:35 UTC

2016-05-25 16:33:35 UTC

Parfait Tokponnon

3

replies

x86 Genode missing modules

started 2016-05-17 22:26:27 UTC

2016-05-18 17:00:07 UTC

Chris Rothrock

2

replies

network implementation example (for Parallella Board)

started 2016-05-15 21:45:04 UTC

2016-05-18 13:03:53 UTC

Rank Jerome

4

replies

Genode freezes on USB Armory

started 2016-05-12 16:00:50 UTC

2016-05-17 18:09:52 UTC

Martin Stein

8

replies

FYI: microkernel.info community site

started 2016-03-11 01:50:27 UTC

2016-05-17 17:10:17 UTC

Adrian-Ken Rueegsegger

4

replies

handling misbehaving filesystem drivers

started 2016-05-13 09:01:07 UTC

2016-05-14 14:01:51 UTC

Emery Hemingway

1

reply

Android no NW - i.MX53 QSB

started 2016-05-09 14:40:00 UTC

2016-05-09 17:38:50 UTC

Stefan Kalkowski

0

replies

new genode-desktop-environment repository

started 2016-05-05 05:06:06 UTC

2016-05-05 05:06:06 UTC

Nobody III

2

replies

Implementing additional SPECS in genode-world

started 2016-05-03 20:21:05 UTC

2016-05-04 01:49:35 UTC

Johannes Schlatow

4

replies

Reagaring Genode and USB Armory

started 2016-04-26 13:47:17 UTC

2016-05-03 19:19:00 UTC

Martin Stein

0

replies

[tz_vmm] Build error (#2)

started 2016-04-21 14:10:01 UTC

2016-04-21 14:10:01 UTC

Martin Stein

4

replies

Fiasco.OC thread execution time

started 2016-02-22 23:38:51 UTC

2016-04-20 11:47:06 UTC

Georg Guba

0

replies

Is Foasco+Genode support sched_yield()?

started 2016-04-20 08:53:30 UTC

2016-04-20 08:53:30 UTC

y***@zte.com.cn

2

replies

Problem with the AHCI driver

started 2016-04-15 20:53:06 UTC

2016-04-18 13:56:14 UTC

Sebastian Sumpf

4

replies

Some inter thread/component communication questions

started 2016-04-14 14:48:58 UTC

2016-04-14 17:11:02 UTC

Menno Valkema

5

replies

Shared Memory in tz_vmm demo

started 2016-04-04 22:17:44 UTC

2016-04-14 16:12:41 UTC

Martin Stein

0

replies

Do packet streams deliver p

started 2016-04-13 17:42:09 UTC

2016-04-13 17:42:09 UTC

Menno Valkema

1

reply

JTAG Debug on the i.MX53 QSB

started 2016-04-11 16:39:12 UTC

2016-04-12 13:21:53 UTC

Stefan Kalkowski

5

replies

Process migration and persistence

started 2016-03-17 01:27:18 UTC

2016-04-05 00:15:05 UTC

Peter Lindener

6

replies

Golang on Genode

started 2016-03-30 01:45:39 UTC

2016-04-04 15:35:19 UTC

Taru Karttunen

2

replies

Microkernel Meetup

started 2016-03-09 12:10:41 UTC

2016-04-04 00:28:05 UTC

Bjoern Doebel

1

reply

using picture from Genode Foundations for Thesis

started 2016-04-03 16:04:13 UTC

2016-04-03 16:47:10 UTC

Christian Helmuth