genode-main@lists.sourceforge.net

5

replies

My website running Genode

started 2015-12-23 04:33:15 UTC

2016-01-01 20:42:32 UTC

Guido Witmond

5

replies

vbox_usb_run bin/nic_drv missing

started 2015-12-17 07:46:37 UTC

2015-12-23 13:26:04 UTC

adrian

2

replies

Dataspace Allocation Size and Quota

started 2015-12-22 19:00:06 UTC

2015-12-22 20:41:20 UTC

Christian Helmuth

3

replies

grsecurity R.I.P.

started 2015-12-21 19:16:17 UTC

2015-12-22 16:59:21 UTC

Vasily A. Sartakov

9

replies

tz_vmm demo on USB Armory

started 2015-12-18 06:25:36 UTC

2015-12-21 20:14:05 UTC

Martin Stein

0

replies

Node.js

started 2015-12-19 00:17:16 UTC

2015-12-19 00:17:16 UTC

Emery

1

reply

[Fiasco.OC][Genode] Creating an unstripped image file

started 2015-12-17 23:27:50 UTC

2015-12-18 00:41:02 UTC

Sebastian Sumpf

5

replies

Upgrade to 15.11 from 15.02 results in quota exceded message

started 2015-12-02 20:17:36 UTC

2015-12-13 00:52:07 UTC

r***@gmail.com

3

replies

RSA key pair generation in tz_vmm

started 2015-12-09 14:52:19 UTC

2015-12-11 22:53:11 UTC

Emery Hemingway

3

replies

Debugging Genode applications on Ubuntu 14.04 64bit

started 2015-12-10 15:09:44 UTC

2015-12-11 18:46:01 UTC

Christian Helmuth

6

replies

i.mx53qsb and ARM Trustzone Techology

started 2014-11-17 14:03:16 UTC

2015-12-10 23:05:07 UTC

Martin Stein

2

replies

ARM TrustZone Shared Memory Crossworld

started 2015-12-09 22:15:47 UTC

2015-12-10 22:26:35 UTC

Martin Stein

10

replies

Turmvilla Memory

started 2015-11-26 01:25:54 UTC

2015-12-10 00:50:26 UTC

Harm de Vries

0

replies

Article about the new TrustZone demo on the USB Armory

started 2015-12-09 22:00:37 UTC

2015-12-09 22:00:37 UTC

Martin Stein

0

replies

Qt 5.5 basic support

started 2015-12-08 08:15:09 UTC

2015-12-08 08:15:09 UTC

Reinier Millo Sánchez

29

replies

Noux application

started 2015-10-17 15:31:09 UTC

2015-12-08 02:36:45 UTC

Christian Prochaska

1

reply

FOSDEM 2016 microkernel devroom - submission deadline

started 2015-12-07 17:02:26 UTC

2015-12-07 18:58:07 UTC

Emery

0

replies

Reminder: Microkernel-devroom CfP deadline is on this Sunday

started 2015-12-07 17:26:41 UTC

2015-12-07 17:26:41 UTC

Jakub Jermar

4

replies

memory dump

started 2015-11-27 05:19:15 UTC

2015-12-05 14:35:24 UTC

Martin Stein

1

reply

Porting Genode to Raspberry Pi 2

started 2015-12-03 21:25:27 UTC

2015-12-03 21:43:25 UTC

Norman Feske

2

replies

Thoughts about a new live system

started 2015-12-02 17:27:14 UTC

2015-12-03 03:34:04 UTC

Peter Lindener

5

replies

Noux port

started 2015-11-30 16:53:17 UTC

2015-12-02 14:00:23 UTC

Josef Söntgen

0

replies

Announcement: Genode OS Framework version 15.11 released

started 2015-11-30 18:55:53 UTC

2015-11-30 18:55:53 UTC

Christian Helmuth

0

replies

Virtualbox Memory

started 2015-11-30 18:11:01 UTC

2015-11-30 18:11:01 UTC

Harm de Vries

3

replies

Intel framebuffer driver

started 2015-11-27 01:34:41 UTC

2015-11-30 16:57:33 UTC

Christian Helmuth

2

replies

Microkernel Meetup

started 2015-10-27 16:50:10 UTC

2015-11-29 03:12:14 UTC

Bjoern Doebel

1

reply

Nix port

started 2015-11-25 06:30:06 UTC

2015-11-25 21:33:48 UTC

Norman Feske

2

replies

SMP IRQ Affinity in L4android

started 2015-11-09 18:32:05 UTC

2015-11-25 16:45:14 UTC

Stefan Kalkowski

0

replies

Access to hardware registers

started 2015-11-20 20:51:38 UTC

2015-11-20 20:51:38 UTC

j***@infides.de

0

replies

32c3

started 2015-11-18 19:19:06 UTC

2015-11-18 19:19:06 UTC

Johannes Schlatow