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

52 Commits

Author SHA1 Message Date
Emery Hemingway
3076cd3722 Convert vfs_gtotp to otp_report 2018-06-03 17:40:49 +02:00
Emery Hemingway
7950cf338a ChucK: update and package 
- Update and package ChucK, remove input support
- Update and package Ogg, Vorbis, FLAC, and Libsndfile ports
- Remove ChucK runtime scenarios
- Add ChucK runtime package

Fix #104
 2018-05-14 13:41:00 +02:00
Emery Hemingway
e6c31ccc3e Remove SQLite port 
SQLite typically comes as a bundled dependency, any problems with
the current version of SQLite should be fixed in the Genode native
libraries used by SQLite.

Fix #102
 2018-04-12 11:32:18 +02:00
Emery Hemingway
1b3cb0f0d6 Port of libmpg123 1.25.10 
Real time MPEG 1.0/2.0/2.5 audio decoder for layers 1,2 and 3.

http://www.mpg123.de/

Ref #101
 2018-04-10 17:32:28 +02:00
Emery Hemingway
16d6fbdb47 Split Libretro into seperate repo 
Libretro frontend and cores moved to
https://github.com/ehmry/genode-libretro

Fix #100
 2018-03-13 10:00:47 +01:00
Johannes Schlatow
47faf8c4f8 zynq: add SMP support for Zynq-7000 boards 2018-02-23 21:27:38 +01:00
Emery Hemingway
cdc389ef3d Port of ldns and drill 
Drill is a DNS utility inspired by dig.

https://www.nlnetlabs.nl/projects/ldns/

Fix #99
 2018-02-23 21:26:03 +01:00
Emery Hemingway
dc26a48a63 Port of FLIF (Free Lossless Image Format) library 
http://flif.info/
        _
 ____ _(_)____
(___ | | | ___)
 (__ | |_| __)
   (_|___|_)

Ref #97
 2018-02-06 12:17:47 +01:00
Johannes Kliemann
80fca9e122 port of json-c library 2018-02-06 09:52:05 +01:00
Norman Feske
3ee1f80051 Disable strict warnings 
This commit is a response to Genode's increased default warning level.
See the corresponding issue at:

  https://github.com/genodelabs/genode/issues/465
 2018-01-17 19:27:10 +01:00
Johannes Schlatow
b4e79f14a2 zynq: update board support files to 17.11 
(#91)
 2017-12-22 22:51:12 +01:00
Emery Hemingway
b2d0b157ea Depot: recipes for Libretro cores 
Ref #91
 2017-11-28 10:21:29 -06:00
Emery Hemingway
d953bbfbd4 Port of Fraunhofer FDK AAC library 
https://en.wikipedia.org/wiki/Fraunhofer_FDK_AAC

Fix #85
 2017-09-27 16:41:57 +02:00
Johannes Schlatow
98820ffab4 zynq: update to 17.05 
Ref #74
 2017-08-28 14:22:20 +02:00
Emery Hemingway
a7e6bf698d port Glib 
https://wiki.gnome.org/Projects/GLib

Fix #80
 2017-08-04 16:50:41 +02:00
Emery Hemingway
471ef85202 fix Meteor PORT_DIR path 
Ref #78
 2017-07-24 12:25:44 +02:00
Emery Hemingway
a09504a099 port of Meteor emulator for the Game Boy Advance 
Fix #78
 2017-07-06 10:38:14 +02:00
Alexander Senier
1336376e2e Add googletest, adapt port by @rite to 17.05 2017-06-26 12:07:50 +02:00
Stefan Kalkowski
0c7450c550 Removal of deprecated os/config.h (Ref #74) 2017-06-02 11:28:34 +02:00
Emery Hemingway
e38eda2fc0 Upgrade Libretro frontend and cores to 17.05 release 
- Remove Libretro symbols declaration
- Print core reports in run scenarios
- Run scenario fixups
- Fetch shareware Quake in TyrQuake scenario
- retro_frontend fixups

Ref #74
 2017-05-29 23:45:45 -05:00
Emery Hemingway
11956d6e54 port of Lzlib 
http://www.nongnu.org/lzip/

Ref #70
 2017-04-19 11:51:21 +02:00
Menno Valkema
ac579e604a Supplement mbedtls port with import file 
This should greatly simplify the use of mbedtls in projects.

Fixes #67
 2017-03-10 11:59:58 +01:00
Johannes Schlatow
b58255eede remove SD card driver 2017-03-02 18:51:55 +01:00
Johannes Schlatow
22d1140ee9 zynq: update mk files to 17.02 2017-03-02 18:25:33 +01:00
Johannes Schlatow
f57874aac2 ports: add keynote library 2017-03-02 12:40:35 +01:00
Alexy Gallardo Segura
d23f6adcb8 add libpq and libpqxx libraries 
Signed-off-by: Alexy Gallardo Segura <alexy@uclv.cu>
 2017-01-31 14:17:10 +01:00
Emery Hemingway
4c60efa25d port of Cave Story 
https://en.wikipedia.org/wiki/Cave_Story

Fix #62
 2017-01-19 14:25:18 +01:00
Emery Hemingway
eb2392a58d port of Tyrquake 
http://disenchant.net/tyrquake/

Fix #61
 2017-01-19 14:21:10 +01:00
Emery Hemingway
6b7340ef23 use single-file port for libretro.h 
Ref #60
 2017-01-19 13:17:32 +01:00
Emery Hemingway
f4105c0431 define symbols for libretro cores 
Ref #60
 2017-01-19 13:17:04 +01:00
Emery Hemingway
54b0e1b23c libretro/snes9x: port of Snes9x 
SNES emulator core for libretro.

http://www.snes9x.com/

Ref #52
 2016-12-06 18:45:39 +01:00
Emery Hemingway
695a411f19 libretro/fceumm: port of FCE Ultra mappers modified 
NES emulator core for libretro.

Ref #52
 2016-12-06 18:45:39 +01:00
Emery Hemingway
f3e052f65f app/retro_frontend: Libretro frontend 
Native fronted for Libretro cores.

https://www.libretro.com/

Ref #52
 2016-12-06 18:45:39 +01:00
Emery Hemingway
aa91eb1857 port of liblo 
A lightweight Open Sound Control implementation

http://liblo.sourceforge.net/

Ref #47
 2016-11-21 12:51:51 +01:00
Emery Hemingway
9c917acc37 port of RtAudio 
C++ API for realtime audio input/output

http://www.music.mcgill.ca/~gary/rtaudio/

Ref #47
 2016-11-21 12:51:51 +01:00
Emery Hemingway
ce07e3c8f0 port of libsndfile 
http://www.mega-nerd.com/libsndfile/

Ref #47
 2016-11-21 12:51:51 +01:00
Emery Hemingway
2a7572d374 ports of Xiph's Ogg, Vorbis, FLAC libraries 
https://xiph.org/

Ref #47
 2016-11-21 12:50:48 +01:00
Emery Hemingway
8b8491aaf1 Port of the TestU01 test suite 
Library for statistical testing of uniform random number generators.
http://simul.iro.umontreal.ca/testu01/tu01.html

Fix #48
 2016-11-01 12:35:32 +01:00
Emery Hemingway
785d836cee lib/vfs/gtotp: Google Authenticator VFS plugin 
Generates time-based one time use passwords,
use it anywhere you might have a filesystem.

Fixes #45
 2016-10-05 11:26:05 +02:00
Emery Hemingway
41fa0537fd port of Crypto++ 
http://www.cryptopp.com/

Issue #45
 2016-10-05 11:26:05 +02:00
Emery Hemingway
c3a7df1e5e any-rom VFS plugin 
Access any ROM from the VFS.
Takes a single optional argument, label (<any-rom label=..."/>).

Fixes #43
 2016-10-05 11:26:05 +02:00
Stefan Kalkowski
709fbd7489 Port of libevent (Ref #30) 2016-08-25 10:27:08 +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
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
Johannes Schlatow
2687de2376 Add remote_rom proxy component 
Fixes #20
 2016-07-06 16:40:56 +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
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