alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
64 Commits 3 Branches 0 Tags
a578c3946e8b9f9e103a76edc2b03d166acc802e
Commit Graph

64 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Christian Helmuth
a578c3946e Adapt components to upcoming release 16.08 2016-08-30 17:23:22 +02:00
Josef Söntgen
da743cced4 Add rudimentary audio_player based on libav 
For further information please look at 'src/app/audio_player/README'.

Fixes #41.
 2016-08-30 14:49:29 +02:00
Stefan Kalkowski
099ea5a6a5 TOR: nic_router configuration scheme changed 2016-08-30 11:23:28 +02:00
Stefan Kalkowski
37eb9c03ba TOR: NAT component got renamed to 'nic_router' 2016-08-30 09:35:37 +02:00
Josef Söntgen
7adf106f33 uhexen2: set stack size properly 
On 32bit platforms the libc application stack is too small. Set to
256K which sufficiently on 32bit and 64bit systems.

Fixes #40.
 2016-08-29 17:26:17 +02:00
Stefan Kalkowski
45f7dc2d4b TOR: automated test scenario on Qemu 2016-08-29 16:10:07 +02:00
Stefan Kalkowski
78b6096fa5 fetchurl: add proxy configuration option 2016-08-29 16:09:33 +02:00
Stefan Kalkowski
ba95c6834f TOR: compile for 32-bit platforms 
Ref #30
 2016-08-29 16:09:18 +02:00
Johannes Schlatow
db30fc550e remote_rom: make localname attribute optional 2016-08-29 15:05:08 +02:00
Norman Feske
4492597403 zynq: limit SDHCI-driver build to selected boards 
This patch introduces the spec value 'zync_sdhci' restrict the build of
the driver to the boards that actually support it.

Fixes #37
 2016-08-26 16:19:18 +02:00
Norman Feske
ef756be840 zynq: build i2c driver for zedboard only 
This patch makes the zynq i2c driver depend on a new 'zynq_i2c' spec
value, which is only enabled for the zedboard.

Issue #37
 2016-08-26 16:11:02 +02:00
Josef Söntgen
701516110d uhexen2: update to version 1.5.8 
Fixes #34.
 2016-08-26 15:59:40 +02:00
Christian Helmuth
1cb50bb41d SuperTux moved from googlecode to github 2016-08-26 15:55:25 +02:00
Christian Helmuth
d7b2ada150 Update port hash for fesrv 2016-08-26 15:54:45 +02:00
Norman Feske
5e54c04b1c remote_rom: minor README tweaks 2016-08-26 11:26:10 +02:00
Martin Stein
4182330914 world remote_rom: adapt to new net and print 
Fixes #32
 2016-08-25 17:31:26 +02:00
Emery Hemingway
ed41139096 documentation improvements for 16.08 2016-08-25 13:28:38 +02:00
Norman Feske
a540f55512 framebuffer_app.inc: add scheduling constraints 
Without the assignment of CPU quota, the priority definitions remain
without effect on base-hw, which may lead the USB driver on the
Raspberry Pi to get stuck in the presence of a time-consuming
application.
 2016-08-25 10:28:18 +02:00
Stefan Kalkowski
39ea3e209c Port of TOR (Fix #30) 2016-08-25 10:27:08 +02:00
Stefan Kalkowski
709fbd7489 Port of libevent (Ref #30) 2016-08-25 10:27:08 +02:00
Norman Feske
2c4cca899a follow-up fix for "Share common parts ..." 
Prevent duplicated build argument of platform-driver, fixes the build
for the Raspberry Pi.
 2016-08-21 14:06:32 +02:00
Norman Feske
05eb96294a Port of TuxMath 2016-08-21 01:29:25 +02:00
Norman Feske
45570065fd Port of libxml2 2016-08-21 01:29:25 +02:00
Norman Feske
a21b0be78e Share common parts of simple interactive scenaros 
By moving the common run-script parts to framebuffer_app.inc, we avoid
the duplication of the application-agnostic run-script content.
 2016-08-21 01:29:25 +02:00
Emery Hemingway
bf93d7a9f0 server/fb_upscale: sever to scale up small framebuffers 
Fixes #29
 2016-08-17 18:15:20 +02:00
Christian Helmuth
10a42e8c14 Port of mbed TLS 
Thanks to Menno Valkema for the initial patch.

Fixes #17
 2016-08-09 14:08:56 +02:00
Emery Hemingway
3c25710f43 server/log_tee: shim to duplicate log streams 
Fixes #28
 2016-08-09 14:07:23 +02:00
Emery Hemingway
3af80e2d88 new server 'rom_fallback' 
Forwards a ROM ssesion request to a list of label prefixes.

Fixes #26
 2016-08-09 14:05:36 +02:00
Emery Hemingway
1e0fa7571c server/input_remap 
General purpose component for remapping input codes.

Fixes #25
 2016-08-09 14:04:07 +02:00
Emery Hemingway
a09410cd09 server/chroot: update to new Session_label API 
Componentize.

Fixes #24
 2016-08-09 14:03:40 +02:00
Johannes Schlatow
c7729d5a16 remote_rom: change offset type to allow larger ROM content 2016-08-09 14:02:34 +02:00
Johannes Schlatow
3e746c6444 remote_rom: fix payload initialization 2016-08-09 14:02:34 +02:00
Norman Feske
1cf653d548 Use base/log.h instead of deprecated base/printf.h 
- Remove use of PLOG, PINF, PWRN, PERR, and printf.
  Only a single use of printf in fesrv remains for now.
- Whitespace and style fixes
- Fix build of server/synergy_input
- Add missing include of base/heap.h (previously, this header
  was implicitly included by root/component.h)
 2016-07-15 13:14:35 +02:00
Emery Hemingway
3405eb2853 server/tftp_rom: adjust to change in ROM arguments 
* Read filename from last label element.
* Componentize.

Fixes #22
 2016-07-13 11:42:42 +02:00
Johannes Schlatow
2687de2376 Add remote_rom proxy component 
Fixes #20
 2016-07-06 16:40:56 +02:00
Emery Hemingway
04c42f34bc app/fetchurl: libcURL frontend 
Fixes #19
 2016-07-06 15:26:23 +02:00
Timo Wischer
ecfb4e4904 zynq: add sd_card driver 2016-07-06 15:22:34 +02:00
Mark
6418f34082 zynq: add gpio, i2c and vdma drivers 2016-07-06 15:22:06 +02:00
Johannes Schlatow
2e7bb650dc zynq: add specs for zynq-based boards 
- zynq_parallella
- zynq_zedboard
- zynq_zc706
- zynq_zc702
 2016-07-06 15:20:23 +02:00
Menno Valkema
7f61d9a84a Added fesrv port 
Fixes #18
 2016-06-29 21:34:56 +02:00
Emery Hemingway
9a0fead7ed synergy_input: port of the µSynergy client 
http://synergy-project.org/

Fixes #14
 2016-04-11 14:34:48 +02:00
Johannes Schlatow
cce6a99fc7 Add soplex and scip (LP and MIP solver) 2016-03-21 11:36:57 +01:00
Johannes Schlatow
053a038bf8 Add lemon graph library 2016-03-21 11:36:53 +01:00
Johannes Schlatow
439a59c695 Add glucose SAT solver 2016-03-21 11:36:51 +01:00
Emery Hemingway
bc9df53c79 server/input_normalizer 
Partitions input events into periodic bursts.

Fixes #12
 2016-03-21 11:03:57 +01:00
Emery Hemingway
08668bfd1a server/chroot: change root server 
Fixes #11
 2016-03-11 12:36:27 +01:00
Emery Hemingway
58b58f1008 server/tftp_rom: fix dataspace leak 
ROM dataspace and LwIP buffers are freed at session destruction.

Fixes #10
 2016-03-10 14:14:13 +01:00
Emery Hemingway
aadf20d39a server/tftp_rom 
Serves ROM from TFTP, RCF1350.

Fixes #9
 2016-03-03 16:07:38 +01:00
Josef Söntgen
80a3809466 Grafx2: fix wrong hash 
Fixes #7.
 2016-02-09 11:37:47 +01:00
Emery Hemingway
4bb5db7d8b port of sqlite-3.10.2 
Port of SQLite with a native OS layer.
I can provide support, but not maintanence. Good luck!

Fixes #8
 2016-02-09 11:37:03 +01:00