ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 05:37:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
38ab456c78
genode/repos/gems
History
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
..
include gems: remove the use of deprecated APIs 2019-01-30 13:49:54 +01:00
lib Remove COW VFS plugin 2018-08-28 16:45:24 +02:00
recipes depot: update recipe hashes 2019-02-12 14:24:12 +01:00
run Rename Ada runtime to SPARK runtime 2019-02-19 11:08:17 +01:00
src Rename Ada runtime to SPARK runtime 2019-02-19 11:08:17 +01:00
README Remove repos/qt4, fix #1451 2015-03-19 08:57:20 +01:00

README 

This directory is a source-code repository containing Genode-specific
services and applications. In contrast to the components that come with
the 'os' repository, programs contained in 'gems' are able to leverage
the functionalities provided by higher-level repositories such as 'libports'.
To use the 'gems' repository, make sure to also add those repositories to your
build configuraion.