genode/repos/base/run
Johannes Kliemann 1261c18ce9 ada: runtime and library support
The Ada runtime can now be set with the ADA_RTS variable. The ada
library builds a (currently) minimal runtime from the gcc sources that
come with Genode (to stay consistent with the used compiler) and sets
the runtime path accordingly. It is build as a shared library ada.lib.so
which needs to be added to the build files.

I split the existing Ada test into program and library, and moved it
to libports as it depends on the runtime library residing in this
repository too.

Fixes #2748
2018-04-19 12:38:54 +02:00
..
affinity_subspace.run Remove obsolete RAM/CAP services from run scripts 2017-05-31 13:16:22 +02:00
affinity.run base-hw: enable SMP support for Zynq-7000 boards 2018-02-09 13:34:19 +01:00
ds_ownership.run sel4: adapt timeouts of run scripts 2017-08-18 10:24:47 +02:00
fpu.run Remove obsolete RAM/CAP services from run scripts 2017-05-31 13:16:22 +02:00
log.run Limit max string length in log session for okl4 2017-10-19 13:31:16 +02:00
mp_server.run sel4: enable smp for x86 2017-08-17 11:04:24 +02:00
new_delete.run sel4: adapt timeouts of run scripts 2017-08-18 10:24:47 +02:00
platform_drv.inc os: add tests to autopilot 2018-04-19 12:38:53 +02:00
reconstructible.run sel4: adapt timeouts of run scripts 2017-08-18 10:24:47 +02:00
rm_fault.run sel4: enable nx bit handling for ARM 2017-11-01 08:39:49 +01:00
rm_nested.run Remove obsolete RAM/CAP services from run scripts 2017-05-31 13:16:22 +02:00
slab.run sel4: add Wandboard Quad (iMX6) support 2017-08-17 11:04:21 +02:00
sub_rm.run Adapt sub_rm test to current Linux 32-bit 2017-11-06 13:57:23 +01:00
synced_interface.run sel4: adapt timeouts of run scripts 2017-08-18 10:24:47 +02:00
thread.run sel4: add priority support 2017-08-17 11:04:24 +02:00
util_mmio.run sel4: adapt timeouts of run scripts 2017-08-18 10:24:47 +02:00