barrelfish
4 years agolibgmp: remove dependency to libbarrelfish
Reto Achermann [Thu, 2 Jun 2016 11:08:28 +0000]
libgmp: remove dependency to libbarrelfish

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agofixing undefined global in spantest-exit. closes T220
Reto Achermann [Tue, 24 May 2016 07:01:37 +0000]
fixing undefined global in spantest-exit. closes T220

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoT242: handle FLOUNDER_ERR_TX_BUSY for all capops
Simon Gerber [Mon, 23 May 2016 09:23:35 +0000]
T242: handle FLOUNDER_ERR_TX_BUSY for all capops

Closes T242.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoT242: handle FLOUNDER_ERR_TX_BUSY in usr/monitor/capops/copy.c
Simon Gerber [Mon, 23 May 2016 09:12:32 +0000]
T242: handle FLOUNDER_ERR_TX_BUSY in usr/monitor/capops/copy.c

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agomaking K1OM_Full build again
Reto Achermann [Mon, 23 May 2016 08:20:58 +0000]
making K1OM_Full build again

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoT89: Reverting (again) the first version of the routing algorithm
Lukas Humbel [Tue, 17 May 2016 19:48:29 +0000]
T89: Reverting (again) the first version of the routing algorithm

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoAdd appenzeller to machines with broken bridge programming
Lukas Humbel [Tue, 17 May 2016 15:39:11 +0000]
Add appenzeller to machines with broken bridge programming

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoT89: Make missing ACPI bridge entry non fatal.
Lukas Humbel [Tue, 17 May 2016 14:49:13 +0000]
T89: Make missing ACPI bridge entry non fatal.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoT89: Revert irq_routing.pl to swizzling one
Lukas Humbel [Tue, 17 May 2016 14:47:49 +0000]
T89: Revert irq_routing.pl to swizzling one

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoT89: Improve irqtest
Lukas Humbel [Tue, 17 May 2016 11:57:25 +0000]
T89: Improve irqtest

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoT89: ACPI path names can be longer than 16 chars.
Lukas Humbel [Tue, 17 May 2016 11:56:33 +0000]
T89: ACPI path names can be longer than 16 chars.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoACPI/PCI: Improved output
Lukas Humbel [Tue, 17 May 2016 11:55:34 +0000]
ACPI/PCI: Improved output

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoGMP: Add escaping to CC argument. Allows to use compiler prefixes in
Lukas Humbel [Fri, 13 May 2016 11:32:23 +0000]
GMP: Add escaping to CC argument. Allows to use compiler prefixes in
Tools.hs (such as ccache/distcc)

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoFixup
Lukas Humbel [Mon, 9 May 2016 14:50:44 +0000]
Fixup

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoT89: Add irqtest to harness
Lukas Humbel [Mon, 9 May 2016 14:36:46 +0000]
T89: Add irqtest to harness

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoT89: irqtest output improved
Lukas Humbel [Mon, 9 May 2016 09:08:22 +0000]
T89: irqtest output improved

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoT89: Dont swizzle pins when doing the PIN lookup.
Lukas Humbel [Mon, 9 May 2016 09:02:50 +0000]
T89: Dont swizzle pins when doing the PIN lookup.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoT89: Discover and disable all PCI link devices on boot.
Lukas Humbel [Wed, 4 May 2016 14:35:48 +0000]
T89: Discover and disable all PCI link devices on boot.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoT89: Discover PCI IRQ Routing tables using correct bus number.
Lukas Humbel [Tue, 3 May 2016 16:09:18 +0000]
T89: Discover PCI IRQ Routing tables using correct bus number.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoT89: Added a test to test PCI interrupts using e1000 card
Lukas Humbel [Tue, 3 May 2016 12:46:52 +0000]
T89: Added a test to test PCI interrupts using e1000 card

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoT89: Better ACPI debug output
Lukas Humbel [Mon, 9 May 2016 14:20:07 +0000]
T89: Better ACPI debug output

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoarmv7-m: port mapping capability changes
Simon Gerber [Fri, 15 Apr 2016 13:18:15 +0000]
armv7-m: port mapping capability changes

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoharness: Remove x86_32 from buildarchs for x86_64 ethz machines.
Simon Gerber [Tue, 12 Apr 2016 16:58:51 +0000]
harness: Remove x86_32 from buildarchs for x86_64 ethz machines.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoarmv7-m: fix missing bits in posixcompat, compiler-rt, and Config.hs.template
Simon Gerber [Tue, 12 Apr 2016 16:58:15 +0000]
armv7-m: fix missing bits in posixcompat, compiler-rt, and Config.hs.template

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoIRQ: Correctly setup pci device interrupts
Lukas Humbel [Fri, 15 Apr 2016 09:35:18 +0000]
IRQ: Correctly setup pci device interrupts

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agolpc_timer: Fix for multiple clients
Lukas Humbel [Wed, 13 Apr 2016 09:19:31 +0000]
lpc_timer: Fix for multiple clients

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoharness: dynamically generate "enough" compiler-rt test cases
Simon Gerber [Fri, 8 Apr 2016 12:24:44 +0000]
harness: dynamically generate "enough" compiler-rt test cases

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoARMv8 report bib fixes
David Cock [Mon, 11 Apr 2016 15:52:26 +0000]
ARMv8 report bib fixes

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

5 years agoARMv8 report formatting fixups.
David Cock [Mon, 11 Apr 2016 15:50:58 +0000]
ARMv8 report formatting fixups.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

5 years agoARMv8 report is content complete.
David Cock [Mon, 11 Apr 2016 15:26:43 +0000]
ARMv8 report is content complete.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

5 years agoARMv8 report S4.1 (user-space threading)
David Cock [Mon, 11 Apr 2016 14:12:37 +0000]
ARMv8 report S4.1 (user-space threading)

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

5 years agoARMv8 report looking good up to S3.1
David Cock [Mon, 11 Apr 2016 12:12:36 +0000]
ARMv8 report looking good up to S3.1

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

5 years agoRerun pdflatex in more cases.
David Cock [Mon, 11 Apr 2016 12:11:52 +0000]
Rerun pdflatex in more cases.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

5 years agoARMv8 tech report
David Cock [Mon, 11 Apr 2016 09:04:58 +0000]
ARMv8 tech report

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

5 years agoIRQ: bugfix (no index variable shadow)
Lukas Humbel [Fri, 8 Apr 2016 14:49:25 +0000]
IRQ: bugfix (no index variable shadow)

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoIRQ: added support to X86_32 kernel
Lukas Humbel [Thu, 7 Apr 2016 12:19:12 +0000]
IRQ: added support to X86_32 kernel

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoIRQ: added invocations to x86_32
Lukas Humbel [Thu, 7 Apr 2016 11:05:41 +0000]
IRQ: added invocations to x86_32

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoIRQ: ARM invocations added
Lukas Humbel [Tue, 5 Apr 2016 16:06:11 +0000]
IRQ: ARM invocations added

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoIRQ: refactoring caps names
Lukas Humbel [Tue, 5 Apr 2016 13:05:59 +0000]
IRQ: refactoring caps names

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoIRQ: Now using (again) a table of ep caps for dispatch and a bitmap for
Lukas Humbel [Tue, 5 Apr 2016 09:03:23 +0000]
IRQ: Now using (again) a table of ep caps for dispatch and a bitmap for
allocations.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoIRQ: Found bug, added assertion
Lukas Humbel [Fri, 1 Apr 2016 13:47:18 +0000]
IRQ: Found bug, added assertion

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoIRQ: added irq source capability and make the inthandler setup use it
Lukas Humbel [Thu, 31 Mar 2016 15:07:41 +0000]
IRQ: added irq source capability and make the inthandler setup use it

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoIRQ: Making the code actually work. ACPI interface
Lukas Humbel [Wed, 30 Mar 2016 12:00:40 +0000]
IRQ: Making the code actually work. ACPI interface

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoAdded ACPI_SERVICE_DEBUG to Config.hs.template
Lukas Humbel [Tue, 29 Mar 2016 12:09:07 +0000]
Added ACPI_SERVICE_DEBUG to Config.hs.template

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoIRQ: changed kernel to use irq_dest_cap table with IRQVector caps
Lukas Humbel [Tue, 29 Mar 2016 08:45:19 +0000]
IRQ: changed kernel to use irq_dest_cap table with IRQVector caps

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoIRQ: added IRQVector cap
Lukas Humbel [Thu, 24 Mar 2016 14:22:21 +0000]
IRQ: added IRQVector cap

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoIRQ: getting pci_client closer to using new interface
Lukas Humbel [Thu, 24 Mar 2016 10:21:45 +0000]
IRQ: getting pci_client closer to using new interface

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoIRQ: work in progress on receiving side
Lukas Humbel [Tue, 22 Mar 2016 21:36:59 +0000]
IRQ: work in progress on receiving side

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoIRQ: dont pass nirqs
Lukas Humbel [Wed, 16 Mar 2016 13:11:06 +0000]
IRQ: dont pass nirqs

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoIRQ: rename pci interface get_cap to get_bar_cap. remove (soon to be) unnecessary...
Lukas Humbel [Mon, 14 Mar 2016 14:27:12 +0000]
IRQ: rename pci interface get_cap to get_bar_cap. remove (soon to be) unnecessary device_init params

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoIRQ: Started on the local/driver side. Not a working state.
Lukas Humbel [Fri, 11 Mar 2016 14:21:32 +0000]
IRQ: Started on the local/driver side. Not a working state.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoIRQ: cap stubs
Lukas Humbel [Fri, 11 Mar 2016 09:43:09 +0000]
IRQ: cap stubs

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoharness: fix error reporting
Simon Gerber [Tue, 5 Apr 2016 13:06:06 +0000]
harness: fix error reporting

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoharness: fix error reporting some more
Simon Gerber [Tue, 5 Apr 2016 12:10:50 +0000]
harness: fix error reporting some more

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoharness: Fix error reporting
Simon Gerber [Tue, 5 Apr 2016 11:31:33 +0000]
harness: Fix error reporting

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoharness: split up compiler-rt tests in more testcases
Simon Gerber [Fri, 1 Apr 2016 15:04:59 +0000]
harness: split up compiler-rt tests in more testcases

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoharness: replace non-printable characters in output using unicode()
Simon Gerber [Wed, 30 Mar 2016 07:51:03 +0000]
harness: replace non-printable characters in output using unicode()

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoharness: xml: put class name back in to make result listing look less dumb
Simon Gerber [Thu, 24 Mar 2016 15:28:38 +0000]
harness: xml: put class name back in to make result listing look less dumb

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoharness: xml: do not use <build>.<machine> as class name
Simon Gerber [Thu, 24 Mar 2016 15:04:30 +0000]
harness: xml: do not use <build>.<machine> as class name

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoharness: produce xml output (if requested) on early exit
Simon Gerber [Thu, 24 Mar 2016 13:55:01 +0000]
harness: produce xml output (if requested) on early exit

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoharness: fix output preprocessing
Simon Gerber [Wed, 23 Mar 2016 16:10:05 +0000]
harness: fix output preprocessing

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoharness: xml: fix stdout processing and ordering of debug output in main()
Simon Gerber [Wed, 23 Mar 2016 16:05:35 +0000]
harness: xml: fix stdout processing and ordering of debug output in main()

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoharness: testcase output: join output lines instead of dumping array repr
Simon Gerber [Wed, 23 Mar 2016 15:36:31 +0000]
harness: testcase output: join output lines instead of dumping array repr

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoharness: xml file now called report.xml
Simon Gerber [Wed, 23 Mar 2016 15:20:54 +0000]
harness: xml file now called report.xml

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoharness: fix code that generates TestCase objects
Simon Gerber [Wed, 23 Mar 2016 15:12:11 +0000]
harness: fix code that generates TestCase objects

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoscalebench: add option to produce junit xml output
Simon Gerber [Wed, 23 Mar 2016 15:07:05 +0000]
scalebench: add option to produce junit xml output

This commit adds a new option (-x, --xml) to scalebench.py. This option can be
used to produce a XML file that can be parsed by Jenkins (and other software
that can parse JUnit test result reports) in order to provide more information
about the test run.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agox86_64: irq vector allocation: simplify looping over KCBs and fix loop to check in...
Simon Gerber [Fri, 18 Mar 2016 16:19:22 +0000]
x86_64: irq vector allocation: simplify looping over KCBs and fix loop to check in right kcb

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agohake: thc: make <ifn>_thc.c depend on <ifn>_defs.h
Simon Gerber [Mon, 14 Mar 2016 15:59:38 +0000]
hake: thc: make <ifn>_thc.c depend on <ifn>_defs.h

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agox86_32: fix nonsense comparisons
Simon Gerber [Mon, 14 Mar 2016 10:33:07 +0000]
x86_32: fix nonsense comparisons

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agocompiler-rt: Do not assemble MMX instructions on k1om.
Moritz Hoffmann [Fri, 11 Mar 2016 10:29:08 +0000]
compiler-rt: Do not assemble MMX instructions on k1om.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agocompiler-rt: Move Hakefiles from root directory down the tree.
Moritz Hoffmann [Fri, 11 Mar 2016 10:27:56 +0000]
compiler-rt: Move Hakefiles from root directory down the tree.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agoCleanup bugs exposed by -Wtype-limits.
Simon Gerber [Fri, 11 Mar 2016 10:09:38 +0000]
Cleanup bugs exposed by -Wtype-limits.

 * Assertions in armv7/armv8 invocation stubs
 * Some comparisons in lib/virtio
 * Some comparisons in usb stack
 * Linenoise using plain char (which may or may not be signed according
   to C standard)
 * A comparison in octopus

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoeclipseclp: add sizes.h definitions for aarch64
Simon Gerber [Fri, 11 Mar 2016 10:09:27 +0000]
eclipseclp: add sizes.h definitions for aarch64

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoAdding an option to warn about comparisions that are always true or false.
Adam Turowski [Wed, 9 Mar 2016 10:20:00 +0000]
Adding an option to warn about comparisions that are always true or false.

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

5 years agohake: Show --cachedir option in help. Add --help argument.
Moritz Hoffmann [Sat, 27 Feb 2016 10:40:28 +0000]
hake: Show --cachedir option in help. Add --help argument.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agohake: Change default cache dir to $HOME/.cache/barrelfish.
Moritz Hoffmann [Sat, 27 Feb 2016 10:39:46 +0000]
hake: Change default cache dir to $HOME/.cache/barrelfish.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agoharness: Fix Config.hs generation by including cache_dir.
Moritz Hoffmann [Sat, 27 Feb 2016 10:38:48 +0000]
harness: Fix Config.hs generation by including cache_dir.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agohake: Remove 'abs' special tree and replace it by 'cache'
Moritz Hoffmann [Sat, 27 Feb 2016 10:38:22 +0000]
hake: Remove 'abs' special tree and replace it by 'cache'

'abs' would allow arbitrary access to the file system while 'cache'
restricts it to a defined cache directory.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agohake: Add rules to get external dependencies.
Moritz Hoffmann [Fri, 26 Feb 2016 17:42:22 +0000]
hake: Add rules to get external dependencies.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agocompiler-rt: fix path for armv7 assembly files
Moritz Hoffmann [Fri, 26 Feb 2016 16:15:22 +0000]
compiler-rt: fix path for armv7 assembly files

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agocompiler-rt: Do not compile arm/sync_fetch_and_* and arm/switch* on armv5.
Moritz Hoffmann [Fri, 26 Feb 2016 15:55:06 +0000]
compiler-rt: Do not compile arm/sync_fetch_and_* and arm/switch* on armv5.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agohake: Remove unused definitions in Makefile.
Moritz Hoffmann [Fri, 26 Feb 2016 15:28:02 +0000]
hake: Remove unused definitions in Makefile.

This commit removes the definition of INSTALLDIR, ABSINSTALLDIR, ABSSRCDIR
and ABSBUILDDIR from the generated Makefile because it is not used anywhere.
It was introduced with commit c458e8147b4836a0262a48da5d49dfcdff7cb77a.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agogmp: Refactor to produce rules instead of directly evaluating to strings.
Moritz Hoffmann [Fri, 26 Feb 2016 15:24:20 +0000]
gmp: Refactor to produce rules instead of directly evaluating to strings.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agohake: Add Abs RuleToken to refer to resources using their absolute path.
Moritz Hoffmann [Fri, 26 Feb 2016 15:23:17 +0000]
hake: Add Abs RuleToken to refer to resources using their absolute path.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agodrivers/xeon_phi: Do not depend on if/monitor_defs.h.
Moritz Hoffmann [Fri, 26 Feb 2016 15:10:46 +0000]
drivers/xeon_phi: Do not depend on if/monitor_defs.h.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agosymbolic_targets: cleanup cpio archives.
Moritz Hoffmann [Fri, 26 Feb 2016 15:10:20 +0000]
symbolic_targets: cleanup cpio archives.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agogmp: Improve CFLAGS sanitization be only removing link group from CFLAGS after configure.
Moritz Hoffmann [Fri, 26 Feb 2016 09:13:50 +0000]
gmp: Improve CFLAGS sanitization be only removing link group from CFLAGS after configure.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agohake: Remove libgcc from standard libs.
Moritz Hoffmann [Fri, 26 Feb 2016 09:13:13 +0000]
hake: Remove libgcc from standard libs.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agohake: Remove libgcc dependency from kernel. Use compiler-rt instead.
Moritz Hoffmann [Fri, 26 Feb 2016 09:12:38 +0000]
hake: Remove libgcc dependency from kernel. Use compiler-rt instead.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agoeclipseclp, gmp: do not build on armv5
Moritz Hoffmann [Thu, 25 Feb 2016 19:26:58 +0000]
eclipseclp, gmp: do not build on armv5

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agogmp: Rework Hakefile to allow cross-compilation.
Moritz Hoffmann [Thu, 25 Feb 2016 19:00:33 +0000]
gmp: Rework Hakefile to allow cross-compilation.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agohake: Remove -lgcc on arm targets. Add compiler-rt to stdLibs.
Moritz Hoffmann [Thu, 25 Feb 2016 17:58:42 +0000]
hake: Remove -lgcc on arm targets. Add compiler-rt to stdLibs.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agocompiler-rt: Initialize variables to avoid GCC complaining.
Moritz Hoffmann [Thu, 25 Feb 2016 17:56:15 +0000]
compiler-rt: Initialize variables to avoid GCC complaining.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agocompiler-rt: Exclude *vfp files from build on arm.
Moritz Hoffmann [Thu, 25 Feb 2016 17:55:38 +0000]
compiler-rt: Exclude *vfp files from build on arm.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agocompiler-rt: Define __ARM_EABI__ on 32-bit arm targets.
Moritz Hoffmann [Thu, 25 Feb 2016 17:55:06 +0000]
compiler-rt: Define __ARM_EABI__ on 32-bit arm targets.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agogmp: Add missing architecture translations.
Moritz Hoffmann [Thu, 25 Feb 2016 12:40:34 +0000]
gmp: Add missing architecture translations.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agoharness/spantest: Fix imports. Fixes T217.
Moritz Hoffmann [Thu, 25 Feb 2016 12:29:17 +0000]
harness/spantest: Fix imports. Fixes T217.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agoMerge branch 'eclipseclp'
Moritz Hoffmann [Thu, 25 Feb 2016 10:48:43 +0000]
Merge branch 'eclipseclp'

5 years agomenu.lst: Include eclipseclp_ramfs.cpio.gz
Moritz Hoffmann [Thu, 25 Feb 2016 10:46:12 +0000]
menu.lst: Include eclipseclp_ramfs.cpio.gz

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

5 years agoeclipseclp/Shm: Assemble lock.S to enable x86_32 compilation.
Moritz Hoffmann [Thu, 25 Feb 2016 10:22:41 +0000]
eclipseclp/Shm: Assemble lock.S to enable x86_32 compilation.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>