genode-main@lists.sourceforge.net

2

replies

Clang compatibilities

started 2016-11-03 20:55:46 UTC

2016-11-04 18:07:36 UTC

Norman Feske

1

reply

Several sessions of the same type between server and client

started 2016-10-29 03:16:19 UTC

2016-11-04 18:03:59 UTC

Igor

5

replies

[tz_vmm demo]- execution time

started 2016-08-16 03:25:29 UTC

2016-11-03 21:54:41 UTC

Martin Stein

3

replies

Supported ARM devices

started 2016-10-24 21:43:51 UTC

2016-11-01 12:41:08 UTC

Stefan Kalkowski

2

replies

Unnecessary default-constructibility requirements for RPC types?

started 2016-10-25 12:27:41 UTC

2016-10-26 14:55:09 UTC

Norman Feske

14

replies

Checkpoint/restore of capabilities

started 2016-08-31 20:21:54 UTC

2016-10-24 21:13:21 UTC

Norman Feske

4

replies

Linking genode processes at different address space

started 2016-10-15 17:34:06 UTC

2016-10-24 16:39:08 UTC

Parfait Tokponnon

9

replies

Number of components per init

started 2016-10-04 23:04:13 UTC

2016-10-18 13:01:00 UTC

Norman Feske

0

replies

Microkernels / Component-based OSes devroom - Call for Participation

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

2016-10-17 17:01:35 UTC

Josef Söntgen

1

reply

Heeselicht scenario

started 2016-06-21 17:31:54 UTC

2016-10-11 19:53:19 UTC

Stefan Kalkowski

3

replies

Enabling secure boot on the USB armory

started 2016-09-28 10:05:55 UTC

2016-10-05 18:42:21 UTC

Martin Stein

4

replies

Intel wifi driver

started 2016-09-30 17:09:04 UTC

2016-10-03 18:21:19 UTC

Martijn Verschoor

0

replies

Netaidkit as an alternative wifi client

started 2016-09-28 20:44:05 UTC

2016-09-28 20:44:05 UTC

Emery Hemingway

8

replies

Page faults in managed dataspaces

started 2016-09-19 17:56:43 UTC

2016-09-27 14:51:46 UTC

Stefan Kalkowski

1

reply

tar archive and sd_card partition

started 2016-09-27 01:56:35 UTC

2016-09-27 08:14:35 UTC

Nobody III

20

replies

Genode 16.08 nova.iso rebooting on real Core 2 Duo after relocating modules

started 2016-09-21 05:49:52 UTC

2016-09-24 19:43:15 UTC

Paul Dufresne

0

replies

Secure Image Processing using Genode

started 2016-09-23 19:06:41 UTC

2016-09-23 19:06:41 UTC

Tiago Brito

1

reply

Nova multiboot v.1 flags == 0 ???

started 2016-09-22 05:08:05 UTC

2016-09-22 12:04:31 UTC

Christian Helmuth

0

replies

My P4 Netvista works fine on real hardware with both nova and sel4 CD

started 2016-09-21 07:24:09 UTC

2016-09-21 07:24:09 UTC

Paul Dufresne

0

replies

boot loader did not provide information about modules

started 2016-09-20 18:23:00 UTC

2016-09-20 18:23:00 UTC

Paul Dufresne

7

replies

For Nova under VirtualBox I get that error

started 2016-09-18 14:32:25 UTC

2016-09-20 17:23:47 UTC

Paul Dufresne

1

reply

random number generator

started 2016-09-19 18:13:16 UTC

2016-09-20 01:29:54 UTC

Nobody III

2

replies

Writing sel4.iso on a CD/DVD vs. on an USB key

started 2016-09-18 12:58:05 UTC

2016-09-18 19:47:42 UTC

Paul Dufresne

1

reply

some error of sel4.iso on VirtualBox (1495Mo)

started 2016-09-18 13:22:22 UTC

2016-09-18 13:50:17 UTC

Paul Dufresne

0

replies

EDID (interrogating the monitor for display modes supported) support

started 2016-09-18 13:09:32 UTC

2016-09-18 13:09:32 UTC

Paul Dufresne

7

replies

booting the SABRE tablet from SD card

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

2016-09-13 16:27:14 UTC

Stefan Kalkowski

7

replies

VirtualBox on Genode

started 2016-09-02 03:04:15 UTC

2016-09-10 14:41:00 UTC

Alexander Boettcher

4

replies

Basic ISO Boot to Command Prompt

started 2016-09-09 02:17:54 UTC

2016-09-09 20:53:39 UTC

Chris Rothrock

11

replies

Genode 16.05 Fault handler

started 2016-08-30 17:10:59 UTC

2016-09-06 14:29:15 UTC

Denis Huber

2

replies

Partitioned Scheduling

started 2016-09-03 01:09:55 UTC

2016-09-05 15:29:09 UTC

Daniel Krefft