ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 21:57:55 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
11,288 Commits 2 Branches 70 Tags 87 MiB
d2c26fd504
Commit Graph

157 Commits

Author SHA1 Message Date
Norman Feske
1bf796d69a Remove Rust support 
Fixes #3488
 2020-04-24 14:37:57 +02:00
Christian Helmuth
b60b591d06 depot: update recipe hashes 2020-04-17 12:40:13 +02:00
Norman Feske
46fa8197a2 depot: update recipe hashes 2020-03-26 11:39:02 +01:00
Christian Helmuth
5affd51250 depot: update recipe hashes 2020-02-28 08:59:43 +01:00
Sebastian Sumpf
b95dc611d6 gmp: use architecture specific 'config.h' 
Generated a separate 'config.h' for arm, arm_64, x86_32, x86_64 for the
current version (6.1.2) of GMP. This became necessary because
configurations differ for each architecture.

'config.h' generaton on x86_64 host in'gmp-6.1.2' directory:

for x86_64 (native):
! configure

for x86_32:
! configure --host=x86-pc-linux-gnu --build=x86_64-pc-linux-gnu

for arm:
! configure --host=arm-linux-gnu --build=x86_64-pc-linux-gnu \
!  CC=/usr/local/gcc-linaro-arm/bin/arm-linux-gnueabi-gcc ABI=32

for arm_v8:
! configure --host=aarch64-linux-gnu --build=x86_64-pc-linux-gnu \
!  CC=/usr/local/gcc-linaro/bin/aarch64-linux-gnu-gcc ABI=64

issue #3598
 2020-02-27 14:46:57 +01:00
Christian Helmuth
4cccf74664 depot: update recipe hashes 2020-02-20 12:11:23 +01:00
Norman Feske
57ea1dbdd3 depot: update recipe hashes 2020-02-10 14:29:06 +01:00
Christian Helmuth
b931b67cba depot: update recipe hashes 2019-12-19 17:01:43 +01:00
Christian Helmuth
7ed1d7f11d depot: update recipe hashes 2019-11-19 14:54:14 +01:00
Sebastian Sumpf
3103ce1fa8 libports: update mpc to 1.1.0 
issue #3537
 2019-11-19 14:45:39 +01:00
Sebastian Sumpf
db18fc42fe libports: update mpfr to 4.0.2 
issue #3537
 2019-11-19 14:45:39 +01:00
Norman Feske
bf92232698 libc: split task.cc into multiple files 
This patch is the first step of re-organizing the internal structure of
the libc. The original version involved many direct calls of global
functions (often with side effects) across compilation units, which
made the control flow (e.g., the initialization sequence) hard to
follow.

The new version replaces those ad-hoc interactions with dedicated
interfaces (like suspend.h, resume.h, select.h, current_time.h). The
underlying facilities are provided by the central Libc::Kernel and
selectively propagated to the various compilation units. The latter is
done by a sequence of 'init_*' calls, which eventually will be replaced
by constructor calls.

The addition of new headers increases the chance for name clashes with
existing (public) headers. To disambiguate libc-internal header files
from public headers, this patch moves the former into a new 'internal/'
subdirectory. This makes the include directives easier to follow and the
libc's source-tree structure more tidy.

There are still a few legacies left, which cannot easily be removed
right now (e.g., because noux relies on them). However, the patch moves
those bad apples to legacy.h and legacy.cc, which highlights the
deprecation of those functions.

Issue #3497
 2019-11-19 14:10:55 +01:00
Christian Helmuth
4a7b0e99a6 depot: update recipe hashes 2019-09-20 14:14:16 +02:00
Christian Prochaska
afa0e26a6a qt5: update virtual keyboard example to Qt 5.13 
Fixes #3490
 2019-09-09 15:08:13 +02:00
Christian Helmuth
b2c59576ae depot: update recipe hashes 2019-08-28 14:36:56 +02:00
Christian Prochaska
65f402807f qt5: update to version 5.13.0 
Fixes #3485
 2019-08-28 14:22:33 +02:00
Christian Helmuth
312f801f8a depot: update recipe hashes 2019-08-21 13:25:26 +02:00
Johannes Kliemann
1bdd18a196 ada-runtime: update to 1.1 2019-08-21 13:25:25 +02:00
Christian Helmuth
17d32b3e15 depot: update recipe hashes 2019-07-09 09:06:54 +02:00
Sebastian Sumpf
e43b848ac8 jitterentropy: ARM 64-Bit version 
issue #3407
 2019-07-09 08:55:23 +02:00
Christian Helmuth
3c4c460f82 depot: update recipe hashes 2019-06-13 13:40:37 +02:00
Christian Helmuth
2b183f9497 depot: update recipe hashes 2019-05-29 10:20:52 +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
Emery Hemingway
863654d188 Libc: update port to Freebsd 12 
Fix #3289
 2019-05-27 14:46:53 +02:00
Christian Helmuth
ba51800b31 depot: update recipe hashes 2019-05-06 16:15:27 +02:00
Christian Helmuth
6ea1179145 depot: update recipe hashes 2019-04-09 12:30:35 +02:00
Norman Feske
d027f12764 depot: update recipe hashes 2019-04-02 09:36:39 +02:00
Christian Helmuth
ebe71a12ed depot: update recipe hashes 2019-03-19 11:12:36 +01:00
Christian Helmuth
36adbef3f9 depot: update recipe hashes 2019-02-28 11:34:45 +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
Christian Helmuth
46a29532a9 depot: update recipe hashes 2019-02-26 14:47:02 +01:00
Norman Feske
0e0b6bdde7 depot: update recipe hashes 2019-02-19 11:13:56 +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
Christian Helmuth
271e2398f9 depot: update recipe hashes 2019-02-12 14:24:12 +01:00
Norman Feske
3a169d3a78 depot: update recipe hashes 2019-01-30 13:55:20 +01:00
Norman Feske
ed65267bc5 depot: update recipe hashes 2019-01-14 12:34:41 +01:00
Alexander Senier
14cd115c82 Support GNAT.IO in Ada programs 2019-01-14 12:21:10 +01:00
Christian Helmuth
21a61cd583 depot: update recipe hashes 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
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
Christian Prochaska
c2884a6e63 libports: libubsan and libsanitizer_common 
Issue #3072
 2019-01-07 12:33:54 +01:00
Emery Hemingway
f2df40f58b Add simple Solo5 tests to depot autopilot 
Add the following Solo5 tests to Autopilot: hello, fpu, globals, quiet,
blk. The remaining tests require a Rtc service or IP routing.

Ref #3027
 2019-01-07 12:25:43 +01:00
Christian Helmuth
11eecdc7bd depot: update recipe hashes 2018-11-29 11:54:31 +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
18e855e4d5 Genode toolchain depot package 
Fix #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
70e7499e48 depot: update recipe hashes 2018-11-16 15:07:53 +01:00
Martin Stein
146f45f3d4 Archive recipes for autopilot tests 2018-11-16 15:07:53 +01:00
Martin Stein
0c60b312be liports/recipes: api/ and src/python 2018-11-16 15:07:53 +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 Helmuth
0867da28a2 depot: update recipe hashes 2018-10-29 09:36:23 +01:00
Christian Helmuth
5dcf06d208 depot: update recipe hashes 2018-09-13 15:21:26 +02:00
Norman Feske
2049498af0 depot: update recipe hashes 2018-09-05 11:04:24 +02:00
Christian Helmuth
c2e0d0ae20 depot: update recipe hashes 2018-08-30 09:25:10 +02:00
Christian Prochaska
14a338af40 qt5: QtTest support 
Fixes #2933
 2018-08-28 16:45:27 +02:00
Christian Helmuth
f4ea50c6ff depot: update recipe hashes 2018-08-08 10:59:04 +02:00
Emery Hemingway
e521e100f1 Move LwIP to API package 
This fix vfs_lwip recursion on archive creation.

Ref #2335
 2018-08-08 10:59:03 +02:00
Emery Hemingway
ac30e49df7 Update libssh to 0.7.5 
Fix #2921
 2018-08-02 14:36:48 +02:00
Christian Helmuth
b485caf33c depot: update recipe hashes 2018-07-03 09:40:11 +02:00
Christian Helmuth
bd86efe5fe depot: update recipe hashes 2018-05-31 14:02:21 +02:00
Norman Feske
df9eb55c5a depot: recipe for api/jitterentropy 
The API archive makes the library usable for src/gpt_write.
 2018-05-30 13:36:24 +02:00
Sebastian Sumpf
8605e15b4f libc: add suspend and resume_all to symbol map 
This commit enables the pthread library to hook into the libc execution
model and can be reverted after #2812 is fixed.

Issue #2791
 2018-05-30 13:36:05 +02:00
Christian Prochaska
f347cb90f1 depot: qt5 recipes 
Fixes #2792
 2018-05-30 12:26:19 +02:00
Christian Helmuth
3b7d6394d7 depot: update recipe hashes 2018-05-03 15:32:01 +02:00
Christian Helmuth
674b0ba947 Depot: nic_router-nat-dns 
A runtime package that provides a Nic session with NAT via the
nic_router and a DNS service via Stubby.

Ref #2682
 2018-05-03 15:31:59 +02:00
Christian Prochaska
cbdeb41094 depot: icu recipe 
Fixes #2785
 2018-05-03 15:31:54 +02:00
Christian Prochaska
be8addc608 depot: mesa recipe 
Fixes #2784
 2018-05-03 15:31:53 +02:00
Christian Prochaska
b2935b504d depot: drm recipe 
Fixes #2772
 2018-05-03 15:31:20 +02:00
Christian Prochaska
f58717205a depot: qoost recipe 
Fixes #2771
 2018-05-03 15:31:20 +02:00
Christian Prochaska
1d6301c689 depot: expat recipe 
Fixes #2769
 2018-05-03 15:31:20 +02:00
Christian Prochaska
4aefa395af depot: pcre16 recipe 
Fixes #2768
 2018-05-03 15:31:19 +02:00
Christian Helmuth
b07d6eced8 depot: update recipe hashes 2018-03-29 14:59:07 +02:00
Emery Hemingway
219c2fa2e1 EGL api library 
Library for EGL headers only. Useful for components that dynamically
load an EGL shared library.

Fix #2718
 2018-03-27 13:44:27 +02:00
Christian Helmuth
1f7b5e75bf depot: update recipe hashes 2018-03-08 12:05:10 +01:00
Christian Helmuth
a8f186c7d4 depot: update recipe hashes 2018-02-28 11:05:05 +01:00
Norman Feske
e79ce5a036 depot: update recipe hashes 2018-02-16 08:42:31 +01:00
Emery Hemingway
90753f3e50 Update Fatfs library to 0.13a, vfs_fatfs recipe 
Fix #2673
 2018-02-14 20:41:07 +01:00
Norman Feske
8d09d02b85 depot: update recipe hashes 2018-02-09 13:34:24 +01:00
Norman Feske
f1ce555cd9 depot: recipes for src/extract and used libs 2018-02-09 13:34:13 +01:00
Norman Feske
5b6bd8459f Signature checking tool based on GnuPG 
The new 'verify' component facilitates the code of GnuPG to verify
detached OpenPGP signatures against public keys.

Since GnuPG depends on libgcrypt and libgpg-error, the patch adds these
libraries to the libports repository.

Fixes #2640
 2018-02-09 13:34:13 +01:00
Christian Helmuth
6013889028 depot: update recipe hashes 2018-01-17 12:14:44 +01:00
Christian Prochaska
3f74862666 depot: recipe for stdcxx library 
Issue #2446
 2017-12-22 11:43:39 +01:00
Norman Feske
a3c217757c depot: recipes for api/curl and src/curl 2017-12-21 15:01:43 +01:00
Norman Feske
6d4e0c456b depot: recipes for api/libssh, src/libssh 2017-12-21 15:01:42 +01:00
Josef Söntgen
26f3a43df0 libports: create libav recipe 
Issue #2602.
 2017-12-21 15:01:35 +01:00
Josef Söntgen
f591c12e77 libports: create SDL_image recipe 
Issue #2602.
 2017-12-21 15:01:35 +01:00
Josef Söntgen
64f7a04cec libports: create SDL_mixer recipe 
Issue #2602.
 2017-12-21 15:01:34 +01:00
Josef Söntgen
7fad78ba03 libports: create SDL_net recipe 
Issue #2602.
 2017-12-21 15:01:34 +01:00
Josef Söntgen
841b99ba3b libports: create SDL recipe 
Fixes #2602.
 2017-12-21 15:01:34 +01:00
Christian Helmuth
25ca29002e depot: update recipe hashes 2017-11-30 11:24:49 +01:00
Emery Hemingway
0de751a1c9 Rename app/mupdf to app/pdf_view, create depot recipes 
The name 'mupdf' is both the name of a library and a component, thus
preventing a depot recipes for both the shared library and component.

Fix #2582
 2017-11-30 11:23:10 +01:00
Josef Söntgen
c364c4de2a libports: create libssl recipe 2017-11-30 11:23:07 +01:00
Josef Söntgen
a6b4812b78 libports: create libcrypto recipe 2017-11-30 11:23:06 +01:00
Christian Helmuth
491be000ca depot: update recipe hashes 2017-11-09 12:19:59 +01:00
Christian Helmuth
30948a4b0d depot: update recipe hashes 2017-11-06 13:57:25 +01:00
Stefan Kalkowski
61739de2f4 depot: recipe for pcre library 
Issue #2446
 2017-11-06 13:57:23 +01:00
Christian Helmuth
ee4ee6a8ac depot: update recipe hashes 2017-10-19 13:31:18 +02:00
Norman Feske
4835da0f4d depot: add posix lib to api/libc archive 2017-10-05 17:40:01 +02:00