barrelfish
5 years agoAdd -Wformat explicitly wherever -Wformat-security appears
David Cock [Thu, 27 Aug 2015 18:40:58 +0000]
Add -Wformat explicitly wherever -Wformat-security appears

This was causing a warning with some compilers.

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

5 years agoMade lib/numa compile on x86_32
David Cock [Thu, 27 Aug 2015 18:27:22 +0000]
Made lib/numa compile on x86_32

My fixes will need to be looked at by someone familiar with the code.

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

5 years agoNew-style Xeon Phi build
David Cock [Thu, 27 Aug 2015 14:49:02 +0000]
New-style Xeon Phi build

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

5 years agoRemoved SCC
David Cock [Thu, 27 Aug 2015 11:39:42 +0000]
Removed SCC

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

5 years agoMerge branch 'master' into hake-platforms
David Cock [Thu, 27 Aug 2015 11:24:13 +0000]
Merge branch 'master' into hake-platforms

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

Conflicts:
hake/Args.hs
hake/Main.hs
hake/RuleDefs.hs

5 years agoSet RTSOPTS on build
David Cock [Mon, 24 Aug 2015 08:59:01 +0000]
Set RTSOPTS on build

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

5 years agoCleanup
David Cock [Mon, 24 Aug 2015 08:46:44 +0000]
Cleanup

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

5 years agoCleanup
David Cock [Mon, 24 Aug 2015 08:29:37 +0000]
Cleanup

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

5 years agoGenerate source-tree relative filenames straight away
David Cock [Mon, 24 Aug 2015 08:28:34 +0000]
Generate source-tree relative filenames straight away

5 years agoTreeDB merge operation
David Cock [Mon, 24 Aug 2015 08:23:18 +0000]
TreeDB merge operation

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

5 years agoKeep directory lists sorted
David Cock [Mon, 24 Aug 2015 08:13:29 +0000]
Keep directory lists sorted

5 years agoFixed a few bugs in the new search combinators
David Cock [Mon, 24 Aug 2015 07:29:28 +0000]
Fixed a few bugs in the new search combinators

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

5 years agoReplaced allfiles list with a Trie
David Cock [Sun, 23 Aug 2015 20:11:21 +0000]
Replaced allfiles list with a Trie

Roughly 2x speedup

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

5 years agoWasn't outputting Target tokens
David Cock [Fri, 21 Aug 2015 15:13:21 +0000]
Wasn't outputting Target tokens

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

5 years agoVT-d: basic support for multiple units per segment. closes T157. release2015-08-25
Reto Achermann [Fri, 21 Aug 2015 14:59:21 +0000]
VT-d: basic support for multiple units per segment. closes T157.

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

5 years agoxeon phi: remove legacy xeon phi directory from tools
Reto Achermann [Fri, 21 Aug 2015 14:34:32 +0000]
xeon phi: remove legacy xeon phi directory from tools

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

5 years agoSwitched from hake.Path to System.FilePath
David Cock [Fri, 21 Aug 2015 13:35:06 +0000]
Switched from hake.Path to System.FilePath

The library functions are much faster.

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

5 years agoCleanup
David Cock [Fri, 21 Aug 2015 12:29:41 +0000]
Cleanup

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

5 years agolibposixcompat: adding x86_32 to build archs
Reto Achermann [Fri, 21 Aug 2015 06:43:41 +0000]
libposixcompat: adding x86_32 to build archs

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

5 years agoxeon phi: adding more debug printfs to the driver
Reto Achermann [Thu, 20 Aug 2015 16:21:51 +0000]
xeon phi: adding more debug printfs to the driver

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

5 years agohake: arch specific dependencies for libposixcompat
Reto Achermann [Thu, 20 Aug 2015 16:17:14 +0000]
hake: arch specific dependencies for libposixcompat

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

5 years agokernel: SYS_ERR_VMKIT_UNAVAIL on VM syscalls on Xeon Phi
Reto Achermann [Thu, 20 Aug 2015 12:27:52 +0000]
kernel: SYS_ERR_VMKIT_UNAVAIL on VM syscalls on Xeon Phi

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

5 years agoT156: acpi: properly set vtd_enabled
Simon Gerber [Thu, 20 Aug 2015 16:09:43 +0000]
T156: acpi: properly set vtd_enabled

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

5 years agoWalk directories in parallel (async)
David Cock [Wed, 19 Aug 2015 15:13:46 +0000]
Walk directories in parallel (async)

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

5 years agoUse a set for arch comparison, 9.0s
David Cock [Wed, 19 Aug 2015 14:32:30 +0000]
Use a set for arch comparison, 9.0s

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

5 years agoSped up path manipulation, down to 9.2s
David Cock [Wed, 19 Aug 2015 14:17:01 +0000]
Sped up path manipulation, down to 9.2s

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

5 years agoDown to 12s, targets build
David Cock [Wed, 19 Aug 2015 13:43:28 +0000]
Down to 12s, targets build

5 years agoDependency generation for Flounder bindings relies on Flounder def headers
David Cock [Wed, 19 Aug 2015 13:41:47 +0000]
Dependency generation for Flounder bindings relies on Flounder def headers

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

5 years agokernel: remove 0x prefix for unsigned format specfiers
Simon Gerber [Wed, 19 Aug 2015 11:27:03 +0000]
kernel: remove 0x prefix for unsigned format specfiers

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

5 years agogem5: make serial port configurable
Simon Gerber [Wed, 19 Aug 2015 11:26:29 +0000]
gem5: make serial port configurable

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

5 years agoxeon phi: fix vfs deps to not build megaraid
Simon Gerber [Tue, 18 Aug 2015 17:23:21 +0000]
xeon phi: fix vfs deps to not build megaraid

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

5 years agox86_64: syscall: Fix debug_notify_syscall so Xeon Phi compiles
Simon Gerber [Tue, 18 Aug 2015 16:24:44 +0000]
x86_64: syscall: Fix debug_notify_syscall so Xeon Phi compiles

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

5 years agoacpi: fix VT-d initialization.
Simon Gerber [Tue, 18 Aug 2015 11:09:33 +0000]
acpi: fix VT-d initialization.

Workaround for older machines: do not enable VT-d if the IOMMU does not
support large pages.

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

5 years agoReplaced old hake
David Cock [Tue, 18 Aug 2015 07:24:19 +0000]
Replaced old hake

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

5 years agoGenerates a Makefile
David Cock [Mon, 17 Aug 2015 19:22:53 +0000]
Generates a Makefile

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

5 years agoarrakis merge: Fix #defines in kernel/dispatch.c (again)
Simon Gerber [Mon, 17 Aug 2015 16:24:01 +0000]
arrakis merge: Fix #defines in kernel/dispatch.c (again)

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

5 years agoacpi: Abort VT-d initialization when no HW units found.
Simon Gerber [Mon, 17 Aug 2015 16:07:33 +0000]
acpi: Abort VT-d initialization when no HW units found.

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

5 years agoWIP on a faster hake
David Cock [Mon, 17 Aug 2015 14:41:00 +0000]
WIP on a faster hake

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

5 years agoharness: simplify exception handling in interactive test.
Simon Gerber [Mon, 17 Aug 2015 13:21:11 +0000]
harness: simplify exception handling in interactive test.

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

5 years agoe10k: add missing flounder binding
Simon Gerber [Mon, 17 Aug 2015 09:31:16 +0000]
e10k: add missing flounder binding

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

5 years agoharness: add TIMEOUT to expected exceptions in InteractiveTest
Simon Gerber [Mon, 17 Aug 2015 09:02:52 +0000]
harness: add TIMEOUT to expected exceptions in InteractiveTest

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

5 years agoarrakis merge: make x86_32 build
Simon Gerber [Mon, 17 Aug 2015 08:53:34 +0000]
arrakis merge: make x86_32 build

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

5 years agoT155: libbarrelfish: deregister waitset after event_queue_flush
Moritz Hoffmann [Mon, 17 Aug 2015 08:31:49 +0000]
T155: libbarrelfish: deregister waitset after event_queue_flush

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

5 years agoT155: libbarrelfish: update copyright notice for event_queue.{c,h}
Moritz Hoffmann [Mon, 17 Aug 2015 08:16:41 +0000]
T155: libbarrelfish: update copyright notice for event_queue.{c,h}

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

5 years agoT155: libbarrelfish: Implement event_queue_flush
Moritz Hoffmann [Mon, 17 Aug 2015 08:11:54 +0000]
T155: libbarrelfish: Implement event_queue_flush

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

5 years agox86: fix spawnd libdeps.
Simon Gerber [Fri, 14 Aug 2015 15:42:43 +0000]
x86: fix spawnd libdeps.

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

5 years agoarrakis merge: remove megaraid dependency for arm archs
Simon Gerber [Fri, 14 Aug 2015 15:03:16 +0000]
arrakis merge: remove megaraid dependency for arm archs

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

5 years agoarm: fix messed up ifdefs
Simon Gerber [Fri, 14 Aug 2015 15:01:15 +0000]
arm: fix messed up ifdefs

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

5 years agoT154: mask out vregion flag for arm
Simon Gerber [Fri, 14 Aug 2015 15:00:47 +0000]
T154: mask out vregion flag for arm

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

5 years agoharness: Default to an empty list, not None.
David Cock [Fri, 14 Aug 2015 11:13:33 +0000]
harness: Default to an empty list, not None.

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

5 years agokernel: Interaction of braces with #ifdefs was breaking the build.
David Cock [Fri, 14 Aug 2015 09:46:19 +0000]
kernel: Interaction of braces with #ifdefs was breaking the build.

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

5 years agoFix arrakis merge errors
Simon Gerber [Fri, 14 Aug 2015 07:16:19 +0000]
Fix arrakis merge errors

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

5 years agoMerge branch 'arrakis'
Simon Gerber [Fri, 14 Aug 2015 06:46:05 +0000]
Merge branch 'arrakis'

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

5 years agoT152: fixing memory leakage, missing of free state
Reto Achermann [Fri, 14 Aug 2015 06:42:04 +0000]
T152: fixing memory leakage, missing of free state

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

5 years agoT153: avoid code duplication when setting slot allocator
Reto Achermann [Fri, 14 Aug 2015 06:30:44 +0000]
T153: avoid code duplication when setting slot allocator

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

5 years agopci: fix missing out barnr.
Simon Gerber [Wed, 12 Aug 2015 09:19:32 +0000]
pci: fix missing out barnr.

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

5 years agopci: Expose real bar number to pci clients.
Moritz Hoffmann [Thu, 6 Aug 2015 16:14:32 +0000]
pci: Expose real bar number to pci clients.

In Barrelfish, the PCI BARs are compacted into a non-sparse array. Some devices
have bars that have gaps between them, for example 0 and 2, or 0 and 5. This
information can be inportant to drivers. In order to address this, this change
returns the bar number on the get_cap RPC call and stores it in the device_mem
struct.

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

5 years agoCloses T154: pmap, kernel: Add support for write-combining on ia32/64
Moritz Hoffmann [Thu, 13 Aug 2015 13:40:33 +0000]
Closes T154: pmap, kernel: Add support for write-combining on ia32/64

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

5 years agoSquashed a bug in paging code from the ARMv8 branch. release2015-08-13
David Cock [Wed, 12 Aug 2015 11:33:41 +0000]
Squashed a bug in paging code from the ARMv8 branch.

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

5 years agoMerge branch 'armv8'
David Cock [Wed, 12 Aug 2015 08:54:17 +0000]
Merge branch 'armv8'

Merged WIP so that it can be made public.

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

5 years agoToolchain selection when bootstrapping builds
David Cock [Wed, 12 Aug 2015 08:07:03 +0000]
Toolchain selection when bootstrapping builds

Includes build definitions for a variety of ARM tools, both from
gcc-arm-embedded, and linaro.

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

5 years agoInclude modules_common in x86 builds
David Cock [Tue, 11 Aug 2015 11:36:34 +0000]
Include modules_common in x86 builds

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

5 years agoGeneric modules shouldn't be listed under <arch>/
David Cock [Tue, 11 Aug 2015 09:16:57 +0000]
Generic modules shouldn't be listed under <arch>/

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

5 years agoMake build_pandaboard_image.sh use global ARM_GCC
David Cock [Tue, 11 Aug 2015 07:29:11 +0000]
Make build_pandaboard_image.sh use global ARM_GCC

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

5 years agoMade errval_t a flounder builtin.
David Cock [Thu, 6 Aug 2015 11:16:38 +0000]
Made errval_t a flounder builtin.

The errval type is used internally by flounder, but has since been duplicated
to be passed around through interfaces by user code.  This led to a
proliferation of ifname_errval_t types, which were used interchangably in
user-level code.  This breaks once strict typedef checking is enforced, as in
recent GCC versions.  This is a bandaid fix, and there's a larger underlying
issue still to be resolved around how to deal with globally-defined types in
flounder.

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

5 years agomonitor: bugfixes in the revocation protocol
Reto Achermann [Wed, 5 Aug 2015 15:18:40 +0000]
monitor: bugfixes in the revocation protocol

revoke_local was called twice resulting in state corruption

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

5 years agomonitor: distops: add missing free + assert in retrieve.
Simon Gerber [Wed, 5 Aug 2015 13:50:56 +0000]
monitor: distops: add missing free + assert in retrieve.

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

5 years agomonitor: remove old capability code
Simon Gerber [Wed, 5 Aug 2015 13:50:36 +0000]
monitor: remove old capability code

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

5 years agomonitor: handover of correct state for cap revocations
Reto Achermann [Wed, 5 Aug 2015 11:34:56 +0000]
monitor: handover of correct state for cap revocations

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

5 years agoarm: fix caps_map_l1 for armv5 and remove panic()s in armv7
Simon Gerber [Tue, 4 Aug 2015 12:29:00 +0000]
arm: fix caps_map_l1 for armv5 and remove panic()s in armv7

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

5 years agoarmv5: add missing cp15_invalidate_i_and_d_caches_fast()
Simon Gerber [Tue, 4 Aug 2015 11:58:40 +0000]
armv5: add missing cp15_invalidate_i_and_d_caches_fast()

We just add a dummy cp15_invalidate_i_and_d_caches_fast() which calls
cp15_invalidate_i_and_d_caches().

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

5 years agolarge page morecore: add command line options to test
Simon Gerber [Mon, 3 Aug 2015 13:42:20 +0000]
large page morecore: add command line options to test

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

5 years ago32bit arm: fix large page support. Close T148.
Simon Gerber [Wed, 22 Jul 2015 13:06:31 +0000]
32bit arm: fix large page support. Close T148.

This implements a bit field to track the mapping of individual L2 tables for
armv5 and armv7 user space page table management. Having this tracking
bitfield we can use 1MB sections without having weird interference between
unused L2 tables and creating new section mappings.

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

5 years agoarm: implement flush cache debug syscall
Simon Gerber [Thu, 30 Jul 2015 14:08:27 +0000]
arm: implement flush cache debug syscall

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

5 years agokernel: do not drop RAM caps
Simon Gerber [Thu, 6 Aug 2015 14:02:42 +0000]
kernel: do not drop RAM caps

When deleting last copy of a RAM-derived cap without going through the monitor
it is possible that the monitor endpoint is already occupied.  If that's the
case we used to just leak the reclaimed RAM cap.  This patch changes the
behaviour in that case to return SYS_ERR_RETRY_THROUGH_MONITOR which then
provides a free slot to put the freshly created RAM cap.

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

5 years agomorecore: fixing leaking slot allocator.(closes T153
Reto Achermann [Thu, 6 Aug 2015 11:44:11 +0000]
morecore: fixing leaking slot allocator.(closes T153

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

5 years agoMade errval_t a flounder builtin.
David Cock [Thu, 6 Aug 2015 11:16:38 +0000]
Made errval_t a flounder builtin.

The errval type is used internally by flounder, but has since been duplicated
to be passed around through interfaces by user code.  This led to a
proliferation of ifname_errval_t types, which were used interchangably in
user-level code.  This breaks once strict typedef checking is enforced, as in
recent GCC versions.  This is a bandaid fix, and there's a larger underlying
issue still to be resolved around how to deal with globally-defined types in
flounder.

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

5 years agomonitor: bugfixes in the revocation protocol
Reto Achermann [Wed, 5 Aug 2015 15:18:40 +0000]
monitor: bugfixes in the revocation protocol

revoke_local was called twice resulting in state corruption

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

5 years agomonitor: distops: add missing free + assert in retrieve.
Simon Gerber [Wed, 5 Aug 2015 13:50:56 +0000]
monitor: distops: add missing free + assert in retrieve.

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

5 years agomonitor: remove old capability code
Simon Gerber [Wed, 5 Aug 2015 13:50:36 +0000]
monitor: remove old capability code

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

5 years agomonitor: handover of correct state for cap revocations
Reto Achermann [Wed, 5 Aug 2015 11:34:56 +0000]
monitor: handover of correct state for cap revocations

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

5 years agoarm: fix caps_map_l1 for armv5 and remove panic()s in armv7
Simon Gerber [Tue, 4 Aug 2015 12:29:00 +0000]
arm: fix caps_map_l1 for armv5 and remove panic()s in armv7

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

5 years agoarmv5: add missing cp15_invalidate_i_and_d_caches_fast()
Simon Gerber [Tue, 4 Aug 2015 11:58:40 +0000]
armv5: add missing cp15_invalidate_i_and_d_caches_fast()

We just add a dummy cp15_invalidate_i_and_d_caches_fast() which calls
cp15_invalidate_i_and_d_caches().

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

5 years agolarge page morecore: add command line options to test
Simon Gerber [Mon, 3 Aug 2015 13:42:20 +0000]
large page morecore: add command line options to test

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

5 years ago32bit arm: fix large page support. Close T148.
Simon Gerber [Wed, 22 Jul 2015 13:06:31 +0000]
32bit arm: fix large page support. Close T148.

This implements a bit field to track the mapping of individual L2 tables for
armv5 and armv7 user space page table management. Having this tracking
bitfield we can use 1MB sections without having weird interference between
unused L2 tables and creating new section mappings.

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

5 years agoarm: implement flush cache debug syscall
Simon Gerber [Thu, 30 Jul 2015 14:08:27 +0000]
arm: implement flush cache debug syscall

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

5 years agoMarked problematic code in ARM subtree.
David Cock [Wed, 8 Jul 2015 11:51:09 +0000]
Marked problematic code in ARM subtree.

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

5 years agoRemove serial port hardcoding.
David Cock [Wed, 8 Jul 2015 11:49:54 +0000]
Remove serial port hardcoding.

The data section is now usable, so it's unnecessary.

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

5 years agoSeperated the tool prefix from the tool name for ARMv8.
David Cock [Wed, 8 Jul 2015 11:10:52 +0000]
Seperated the tool prefix from the tool name for ARMv8.

This makes it easier to select a different cross compiler.

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

5 years agoSimplification of symbolic_targets.mk, addition of platforms and boots to Hake.
Timothy Roscoe [Fri, 3 Jul 2015 13:59:31 +0000]
Simplification of symbolic_targets.mk, addition of platforms and boots to Hake.

5 years agoModularize symbolic targets a bit
Timothy Roscoe [Wed, 29 Apr 2015 16:26:56 +0000]
Modularize symbolic targets a bit

5 years agoXeon Phi: fixing race condition when booting two cards simultaneously. release2015-07-14
Reto Achermann [Tue, 30 Jun 2015 16:48:39 +0000]
Xeon Phi: fixing race condition when booting two cards simultaneously.

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

5 years agoharness: adding k1om to build archs for babybel adapting phi boot test
Reto Achermann [Fri, 26 Jun 2015 07:10:38 +0000]
harness: adding k1om to build archs for babybel adapting phi boot test

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

5 years agokernel: adding padding for multi boot information to match size on all archs.
Reto Achermann [Thu, 25 Jun 2015 20:03:43 +0000]
kernel: adding padding for multi boot information to match size on all archs.

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

5 years agofixing debug printf in xeon phi boot
Reto Achermann [Thu, 25 Jun 2015 20:02:13 +0000]
fixing debug printf in xeon phi boot

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

5 years agoXeon Phi test: updating test suite to match the new boot loader interfacewq
Reto Achermann [Thu, 25 Jun 2015 19:55:37 +0000]
Xeon Phi test: updating test suite to match the new boot loader interfacewq

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

5 years agoXeon Phi boot: getting rid of the single boot image and dependencies
Reto Achermann [Thu, 25 Jun 2015 14:52:54 +0000]
Xeon Phi boot: getting rid of the single boot image and dependencies

Adapting the boot protocol of the Xeon Phi cards to dynamically
load the individual modules at run time rather than compile time.

The following sources can be used to load the modules
- in ramfs of host machine
- from a TFTP server (using the --tftp flag)
- from NFS (using the --nfs flag)

The modules to be loaded are specified in a supplied menu.lst file.
The parameter  --modlist can be used to specify that file.

The boot driver will handle the generation of the needed data structures
and headers when the card boots.

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

5 years agolibtftp: initial commit of a simple tftp client library
Reto Achermann [Thu, 25 Jun 2015 14:07:59 +0000]
libtftp: initial commit of a simple tftp client library

generic usage:
  tftp_client_connect();
  tftp_client_read_file();
  tftp_client_disconnect();

Currently, timeouts are not handled.

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

5 years agoKaluga: fix ARM build
Reto Achermann [Mon, 22 Jun 2015 10:08:19 +0000]
Kaluga: fix ARM build

adding include for pci.h also for the ARM build to get the
definition of struct pci_address

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

5 years agoDeviceDB: setting coreoffset to 10 in Xeon Phi driver.
Reto Achermann [Mon, 22 Jun 2015 09:28:32 +0000]
DeviceDB: setting coreoffset to 10 in Xeon Phi driver.

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