ehmry/genode-ehmry
ehmry/genode-ehmry
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
8,568 Commits 13 Branches 38 Tags 55 MiB
f6d22088f2
Commit Graph

168 Commits

Author SHA1 Message Date
Sebastian Sumpf
19b3494bd0 libc: mktime signed overflow 
issue #3289
 2019-05-28 15:53:11 +02:00
Johannes Kliemann
35b1440c97 ada-runtime: update to GCC 8.3.0 
ref #3362
fixes #3371
 2019-05-27 14:52:53 +02:00
Christian Prochaska
b4649d84ee ada-runtime: adjustments for Genode tool chain 19.05 
Issue #3307
 2019-05-27 14:52:52 +02:00
Christian Prochaska
eb4d431e76 stdcxx: update to version 8.3.0 
Issue #3307
 2019-05-27 14:52:52 +02:00
Christian Prochaska
8e2e4374f5 sanitizer: update to version 8.3.0 
Issue #3307
 2019-05-27 14:52:52 +02:00
Christian Prochaska
720919bc14 gcov: update to version 8.3.0 
Issue #3307
 2019-05-27 14:52:52 +02:00
Emery Hemingway
863654d188 Libc: update port to Freebsd 12 
Fix #3289
 2019-05-27 14:46:53 +02:00
Emery Hemingway
777d92f6de Port of OpenLibm 
Replace the FreeBSD libm with OpenLibm, which is easier to port.
OpenLibm is used by Mirage's freestanding Ocaml runtime (sin POSIX).

https://openlibm.org/

Ref #3289
 2019-05-27 14:46:53 +02:00
Emery Hemingway
62a4d1de0e Remove Nim tests 
Nim is now built independently of the Genode repository using an SDK and
Nimble.

Fix #3300
 2019-05-16 12:52:59 +02:00
Emery Hemingway
3e848dff10 solo5: update bindings 
Update the Solo5 upstream to accomadate changes to the Block session and
stack protection support in the base library.

Ref #3275
Ref #3283
 2019-05-06 16:15:27 +02:00
Christian Helmuth
18546ea16d Use https URLs for qt5 downloads 
The site download.qt.io seems to apply some mirror-via-HTTP-redirect
scheme which, unfortunately, seems broken (and therefore annoyingly
slow) for non-SSL-secured URLs.
 2019-03-18 15:56:23 +01:00
Alexander Senier
a58fcc3b1e Update runtime ALIs 2019-03-18 15:56:23 +01:00
Alexander Senier
4c8d787918 Port libsparkcrypto 2019-03-18 15:56:23 +01:00
Christian Helmuth
a5d0f6a2af ada: fix ada-runtime-alis for current changes 
Note, this also adapts the spark depot recipe to preserve source-file
time stamps.
 2019-02-28 11:34:07 +01:00
Johannes Kliemann
fa5de776a6 ada: add arit64 to runtime 2019-02-28 11:34:06 +01:00
Alexander Senier
f30a82d599 ada: provide runtime symbols for elaboration code 2019-02-28 11:32:53 +01:00
Alexander Senier
5ccae43552 Rename Ada runtime to SPARK runtime 
The minimal-footprint Ada runtime for implementing library-like
functionality in SPARK is now called "spark" runtime.

The full Ada runtime for entire components written in Ada and using the
libc as glue to the underlying system will move to the world repository
as "ada" runtime.

Issue #3144
 2019-02-19 11:08:17 +01:00
Emery Hemingway
968e220fd2 Update jbig2dec to version 0.15 
Ref #3131
 2019-02-12 10:33:14 +01:00
Emery Hemingway
13268ec401 Update libpng to version 1.6.36 
Fix #3131
 2019-02-12 10:33:14 +01:00
Christian Prochaska
342ddcf71a libsanitizer: replace use of 'Genode::printf()' 
Fixes #3129
 2019-01-30 13:49:55 +01:00
Norman Feske
6154d9067e libports: avoid using deprecated APIs 
Issue #1987
Issue #3125
 2019-01-30 13:49:55 +01:00
Alexander Senier
14cd115c82 Support GNAT.IO in Ada programs 2019-01-14 12:21:10 +01:00
Josef Söntgen
f113460348 Move FUSE to world 
Fixes #3104.
 2019-01-07 12:43:37 +01:00
Norman Feske
39085f08fc Move libav, avplay, and qt_avplay to genode-world 
Fixes #3103
 2019-01-07 12:43:37 +01:00
Norman Feske
a15b825418 Move libsdl and companion libs to genode-world 
Fixes #3100
 2019-01-07 12:43:37 +01:00
Josef Söntgen
0139fa20ff libports: add tcp_fsm header to libc includes 
Needed by lighttpd-1.4.52

Issue #3069.
 2019-01-07 12:33:54 +01:00
Josef Söntgen
c58ad11f2f libports: update OpenSSL to 1.0.2q 
And enable SSL_CONF_* in libssl, needed by lighttpd's mod_openssl.

Issue #3069.
 2019-01-07 12:33:54 +01:00
Stefan Kalkowski
5147c71fdf qt5: update qtscriptclassic archive path 2019-01-07 12:33:54 +01:00
Christian Prochaska
c2884a6e63 libports: libubsan and libsanitizer_common 
Issue #3072
 2019-01-07 12:33:54 +01:00
Christian Prochaska
73e3ed0bd0 gcov: print annotated source only on incomplete coverage 
Fixes #3071
 2019-01-07 12:25:46 +01:00
Christian Prochaska
97d8bea5ec gcov: print selected annotated source files only 
Fixes #3070
 2019-01-07 12:25:46 +01:00
Christian Prochaska
ac8d030855 gcov: open files in buffered mode 
Fixes #3065
 2019-01-07 12:25:43 +01:00
Sebastian Sumpf
91225fbcca qt5: forward window title to nitpicker 
This enables Qt5 applications to set a Genode label via 'setWindowTitle'
from within Qt5 applications, and thus, making them identifiable to
other Genode components, like a layout manager.

fixes #3046
 2018-11-29 11:54:29 +01:00
Emery Hemingway
7f1974e9e8 Update lwIP to 2.1.2 
Fix #3035
 2018-11-29 11:46:02 +01:00
Emery Hemingway
8ad56a6c0e Move libc headers to conform to x86_32, x86_64, and arm SPECS 
Move the libc-i386, libc-amd64, and libc-arm include directories into
the standard "include/spec" directory. This allows the platform specific
headers in the libc API package to be detected in a generic manner.

Ref #3051
 2018-11-29 11:46:01 +01:00
Emery Hemingway
7a11384177 Merge pthread into libc library 
The pthread API is considered a standard feature of libc so better to
simply merge it with the libc. Pthreads are in fact already a part of
the libc in the form of weak symbols. This merger is also a prerequisite
for better integrating pthreads with the libc I/O task.

Fix #3054
 2018-11-29 11:46:01 +01:00
Christian Prochaska
e74771e047 libports: add libgcov and gcov tool 
Issue #3048
 2018-11-29 11:46:01 +01:00
Emery Hemingway
15039f3ae8 Update MPFR port URL 
Ref #3028
 2018-11-27 11:38:13 +01:00
Emery Hemingway
63b6e04dae Move GMP spec directories to standard locations 
Ref #3028
 2018-11-27 11:38:13 +01:00
Johannes Kliemann
eb7c367e25 ada: replace local runtime implementation with port 
Fixes #3044
 2018-11-27 11:36:36 +01:00
Christian Helmuth
712df01341 libports: update hash of downloaded fatfs sources 
The author updated http://www.elm-chan.org/fsw/ff/arc/ff13b.zip recently
with a marginal change of documents/doc/appnote.html.
 2018-11-27 11:36:35 +01:00
Emery Hemingway
e63a870bce Update lwIP to 2.1.1 
Fix #3035
 2018-11-27 11:36:35 +01:00
Emery Hemingway
bc539ce892 Native Solo5 bindings 
A shared library implementation of the unikernel middleware.

https://github.com/Solo5/solo5

Fix #2945
 2018-11-16 15:07:52 +01:00
Christian Prochaska
7c9e850235 qt5: add typeinfo and vtable symbols to symbol files 
Fixes #3025
 2018-11-16 14:37:18 +01:00
Josef Söntgen
82fb76c142 libssh: add async event bind patch 
Issue #3014.
 2018-10-29 09:36:22 +01:00
Josef Söntgen
9ab288d8e3 libports: update libssh to 0.8.4 
Issue #3014.
 2018-10-29 09:36:22 +01:00
Pirmin Duss
b112b7b4ce mesa: fix port_prepare on ARCH Linux 
Issue #3003
 2018-10-29 09:36:22 +01:00
Christian Helmuth
cc311355cd libports: update hash of downloaded fatfs sources (again) 
The author updated http://www.elm-chan.org/fsw/ff/arc/ff13b.zip again
with a marginal documentation changes and an additional example.

Issue #2766
 2018-09-05 11:04:24 +02:00
Christian Helmuth
20668ccfa3 libports: download bzip2 port from fossies.org 
The original bzip.org domain expired.

Issue #2766
 2018-09-05 11:04:24 +02:00
Emery Hemingway
fcbe060096 Remove legacy lwIP plugins 
Now that the lwIP VFS plugin has become a first class IP stack it is
time to remove the lwIP 1.x library and the associated libc plugins.

Fix #2958
 2018-09-05 11:04:22 +02:00