ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-29 01:58:55 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
13,208 Commits 2 Branches 70 Tags 87 MiB
6c9d3326ec
Commit Graph

5 Commits

Author SHA1 Message Date
Johannes Schlatow
5e4e634625 libs: use select_from_ports in eager assignments 
If `select_from_ports` is evaluated lazily, we might miss a port during
the dependency check. A way to prevent this is to use the `:=` operator.

Fixes genodelabs/genode#4618
 2022-11-17 08:00:34 +01:00
Johannes Kliemann
1bdd18a196 ada-runtime: update to 1.1 2019-08-21 13:25:25 +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
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