genode-main@lists.sourceforge.net

3

replies

Why DDE BSD for audio?

started 2017-01-31 17:52:50 UTC

2017-02-01 13:47:48 UTC

Nobody III

1

reply

performance benchmark

started 2017-01-26 14:12:21 UTC

2017-01-30 15:35:01 UTC

Josef Söntgen

8

replies

Genode on Odroid-XU4

started 2016-12-01 14:07:45 UTC

2017-01-24 15:17:19 UTC

Stefan Kalkowski

1

reply

Recipes not working

started 2017-01-19 23:05:13 UTC

2017-01-20 15:34:16 UTC

Norman Feske

0

replies

Native Android Application Execution in Genode (Dalvik VM / ART)

started 2017-01-18 01:31:33 UTC

2017-01-18 01:31:33 UTC

Alexy Gallardo Segura

24

replies

Roadmap 2017

started 2016-12-23 16:36:25 UTC

2017-01-18 00:29:03 UTC

Emery Hemingway

3

replies

Thinkpad X250 vs X260 ?

started 2017-01-10 06:08:07 UTC

2017-01-17 15:30:18 UTC

Alexander Boettcher

1

reply

Loading of software modules at runtime vs. loading at boot time.

started 2017-01-16 13:47:46 UTC

2017-01-17 00:38:23 UTC

Nobody III

4

replies

report_rom clarification about the validity of ROMs in case the report session was closed

started 2017-01-10 20:33:04 UTC

2017-01-16 15:04:20 UTC

Johannes Schlatow

1

reply

Unified build directories / adaptation to the new API

started 2017-01-13 21:30:34 UTC

2017-01-14 01:49:22 UTC

Peter Lindener

1

reply

removing L4Linux

started 2017-01-03 13:45:46 UTC

2017-01-04 04:12:02 UTC

Nobody III

0

replies

Could Genode use page table ideas from Akaros, RiscV ?

started 2017-01-01 07:36:55 UTC

2017-01-01 07:36:55 UTC

Peter Lindener

23

replies

Updating Genode's license to AGPLv3 + open-source linking clause

started 2016-12-14 15:54:16 UTC

2016-12-23 17:58:49 UTC

Jookia

4

replies

Listing a directory using the file system session

started 2016-12-15 18:42:45 UTC

2016-12-16 17:18:21 UTC

Martijn Verschoor

6

replies

Yet another question

started 2016-12-13 04:24:50 UTC

2016-12-15 15:54:34 UTC

Florian Grätz

1

reply

(home) recording studio - low latency audio & hardware

started 2016-12-12 13:45:30 UTC

2016-12-14 18:01:17 UTC

Norman Feske

5

replies

16.11 build fails on boot image creation

started 2016-12-02 04:08:38 UTC

2016-12-09 18:38:30 UTC

r***@gmail.com

1

reply

Including debugging information in binaries

started 2016-12-07 21:34:33 UTC

2016-12-09 16:44:34 UTC

Stefan Kalkowski

3

replies

Inheriting from Mmio class

started 2016-12-07 23:26:37 UTC

2016-12-09 16:12:09 UTC

Johannes Schlatow

1

reply

Intel WiFi cards and driver support

started 2016-12-08 17:26:31 UTC

2016-12-08 18:11:03 UTC

Josef Söntgen

0

replies

Including debugging info in binaries

started 2016-12-07 21:55:04 UTC

2016-12-07 21:55:04 UTC

Christoph Schmied

2

replies

Pulsar PXE boot?

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

2016-12-07 17:24:17 UTC

g***@novadsp.com

2

replies

solved: no GRUB boot with NOVA

started 2016-12-04 22:15:26 UTC

2016-12-05 00:41:17 UTC

g***@novadsp.com

4

replies

(New to Genode) A couple of questions ...

started 2016-12-02 23:16:09 UTC

2016-12-04 20:00:37 UTC

g***@novadsp.com

0

replies

Announcement: Genode OS Framework version 16.11 released

started 2016-11-30 21:05:59 UTC

2016-11-30 21:05:59 UTC

Christian Helmuth

6

replies

Assembly at 33C3?

started 2016-09-02 16:37:42 UTC

2016-11-25 22:30:02 UTC

Johannes Schlatow

2

replies

Assigning PCI device to device_pd

started 2016-11-22 05:54:18 UTC

2016-11-23 04:42:50 UTC

Alexander Senier

2

replies

RPC interface to get random numbers

started 2016-11-11 15:27:54 UTC

2016-11-17 11:11:56 UTC

Duss Pirmin

1

reply

memory reference monitor in SW

started 2016-11-11 22:07:42 UTC

2016-11-11 23:03:38 UTC

Rijurekha Sen

0

replies

booting android in normal world: imx53 sabre

started 2016-11-11 04:26:06 UTC

2016-11-11 04:26:06 UTC

r***@mpi-sws.org