Nico Huber 3bf6759dc0 gnat.adc: Remove restriction No_Secondary_Stack ...

This was only set to get more obvious error messages (i.e. restriction
violations instead of missing packages in the runtime environment).
However, it doesn't play well with the standard interfaces for console
applications. So remove the restriction to allow usage of the secondary
stack where possible.

Change-Id: Iceb64fe2b6f304e2e88b18cf3435fdbfda57440d
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/18784
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>

2017-06-06 18:03:57 +02:00

ada

Add support to map the contents of a file

2017-06-06 17:59:50 +02:00

c

Add support to map the contents of a file

2017-06-06 17:59:50 +02:00

common

Add support to map the contents of a file

2017-06-06 17:59:50 +02:00

configs

Add support to map the contents of a file

2017-06-06 17:59:50 +02:00

debug

Relicense libhwbase under GPL v2+

2016-10-20 13:05:03 +02:00

proof

Relicense libhwbase under GPL v2+

2016-10-20 13:05:03 +02:00

.gitignore

Initial upstream commit

2016-10-09 11:31:44 +02:00

COPYING

Initial upstream commit

2016-10-09 11:31:44 +02:00

gnat.adc

gnat.adc: Remove restriction No_Secondary_Stack

2017-06-06 18:03:57 +02:00

Makefile

Makefile: Compile binder's output w/o gnat config

2017-06-06 18:03:05 +02:00

Makefile.inc

Add support to map the contents of a file

2017-06-06 17:59:50 +02:00

Makefile.proof

Makefile.proof: Add all source files to the dependencies

2016-10-20 13:04:47 +02:00

spark.adc

gnat.adc: Remove restriction No_Secondary_Stack

2017-06-06 18:03:57 +02:00

Description

No description provided

1.4 GiB

Languages

C 64.7%

Lasso 20.7%

ASL 3.6%

JavaScript 3.2%

C# 2.9%

Other 4.6%