genode-main@lists.sourceforge.net

4

replies

Running demo on Virtualbox

started 2016-02-04 21:04:24 UTC

2016-02-11 17:49:49 UTC

Paulo

1

reply

Issue in ACPI parsing code

started 2016-02-10 00:37:08 UTC

2016-02-11 14:24:03 UTC

Alexander Boettcher

2

replies

why use ambient authority in genode hello world?

started 2016-01-24 03:00:43 UTC

2016-02-11 12:21:30 UTC

Dan Connolly

0

replies

WOW... could Genode use Wayland Over Wire?

started 2016-02-11 09:47:12 UTC

2016-02-11 09:47:12 UTC

Peter Lindener

3

replies

Problem with custom rm-service

started 2016-02-08 20:26:17 UTC

2016-02-09 17:07:36 UTC

Christian Prochaska

3

replies

AHCI driver problem

started 2016-02-03 21:50:41 UTC

2016-02-04 20:14:43 UTC

Igor

1

reply

Running Ubuntu Snappy under Genode on a SnickerDoodle..?

started 2016-02-03 04:43:07 UTC

2016-02-03 05:59:02 UTC

Peter Lindener

5

replies

Hash sum check for qtscriptclassic-1.0_1-opensource failed

started 2016-01-26 18:20:53 UTC

2016-01-28 01:50:36 UTC

Bent Bracke

1

reply

FUSE + VFS

started 2016-01-25 15:56:02 UTC

2016-01-27 23:55:09 UTC

Josef Söntgen

3

replies

sd_card driver Block service prevents FFAT file system use by multiple clients?

started 2016-01-27 07:33:40 UTC

2016-01-27 23:23:43 UTC

r***@verizon.net

2

replies

Green task stacks

started 2016-01-21 14:55:22 UTC

2016-01-27 22:23:04 UTC

Igor

2

replies

Loading component configuration from file with lx_fs.

started 2016-01-25 20:37:37 UTC

2016-01-26 04:24:33 UTC

e***@vfemail.net

5

replies

Writing to two different dataspaces at the same time

started 2016-01-21 04:42:01 UTC

2016-01-25 17:27:22 UTC

David Werner

8

replies

Problem linking against pthread in 15.11

started 2016-01-22 18:45:22 UTC

2016-01-22 21:39:00 UTC

Christian Helmuth

5

replies

Yet another problem with Genode+Nova_x86_64+VirtualBox on USB stick

started 2016-01-19 23:19:24 UTC

2016-01-22 15:44:43 UTC

Alexander Boettcher

2

replies

Capability integrity and application identity

started 2016-01-20 18:15:47 UTC

2016-01-20 20:11:52 UTC

Norman Feske

1

reply

Ram quota emergency allocation freed...not sure why.

started 2016-01-18 00:28:25 UTC

2016-01-20 06:31:47 UTC

Bob Stewart

1

reply

FUSE + VFS

started 2016-01-19 13:25:07 UTC

2016-01-20 01:45:58 UTC

Josef Söntgen

2

replies

How to calculate the TCB size

started 2015-12-22 17:39:40 UTC

2016-01-19 15:58:43 UTC

Norman Feske

47

replies

Roadmap 2016

started 2015-12-22 18:28:24 UTC

2016-01-19 15:28:43 UTC

Christian Helmuth

3

replies

Creating new ROM sessions at runtime

started 2016-01-14 17:29:49 UTC

2016-01-19 13:25:07 UTC

Georg Guba

2

replies

QT5 Linux_x86

started 2016-01-14 17:24:32 UTC

2016-01-15 16:42:55 UTC

Torsten Thoben

4

replies

RPC parameters

started 2016-01-13 17:17:10 UTC

2016-01-14 17:48:34 UTC

Bilal ma

1

reply

Secure GUI Programs

started 2016-01-13 04:07:34 UTC

2016-01-14 16:33:57 UTC

Norman Feske

0

replies

Verifiable repository integrity

started 2016-01-13 17:12:15 UTC

2016-01-13 17:12:15 UTC

Christian Helmuth

1

reply

FOSDEM 2016

started 2016-01-11 18:01:12 UTC

2016-01-12 02:28:35 UTC

Guido Witmond

0

replies

Genode Hack'n'Hike 2016

started 2016-01-11 17:25:56 UTC

2016-01-11 17:25:56 UTC

Martin Stein

6

replies

tz_vmm demo on imx53qsb

started 2015-12-28 09:48:14 UTC

2016-01-11 13:46:50 UTC

Stefan Kalkowski

1

reply

Genode, TrustZone and Android on i.mx6

started 2016-01-07 22:01:10 UTC

2016-01-08 15:57:39 UTC

Stefan Kalkowski

2

replies

[Beginner] Running L4Linux as a Server above Fiasco.OC

started 2016-01-04 18:33:20 UTC

2016-01-07 15:43:39 UTC

Nourhan Mohamed