David Cock [Fri, 28 Aug 2015 15:10:19 +0000]
XScale builds
Signed-off-by: David Cock <david.cock@inf.ethz.ch>
David Cock [Fri, 28 Aug 2015 14:55:59 +0000]
Made optimisation flags overridable per-platform.
armv7-m needs to avoid -O2.
Signed-off-by: David Cock <david.cock@inf.ethz.ch>
David Cock [Fri, 28 Aug 2015 14:00:01 +0000]
armv7-m (heteropanda) builds.
Signed-off-by: David Cock <david.cock@inf.ethz.ch>
David Cock [Fri, 28 Aug 2015 11:33:04 +0000]
Better description of hake phases
Signed-off-by: David Cock <david.cock@inf.ethz.ch>
David Cock [Fri, 28 Aug 2015 09:39:18 +0000]
Make hake.sh parallelism configurable (-j N)
Signed-off-by: David Cock <david.cock@inf.ethz.ch>
David Cock [Fri, 28 Aug 2015 09:18:56 +0000]
ARMv5 & XScale build.
Signed-off-by: David Cock <david.cock@inf.ethz.ch>
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>
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>
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>
David Cock [Thu, 27 Aug 2015 11:39:42 +0000]
Removed SCC
Signed-off-by: David Cock <david.cock@inf.ethz.ch>
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
David Cock [Mon, 24 Aug 2015 08:59:01 +0000]
Set RTSOPTS on build
Signed-off-by: David Cock <david.cock@inf.ethz.ch>
David Cock [Mon, 24 Aug 2015 08:46:44 +0000]
Cleanup
Signed-off-by: David Cock <david.cock@inf.ethz.ch>
David Cock [Mon, 24 Aug 2015 08:29:37 +0000]
Cleanup
Signed-off-by: David Cock <david.cock@inf.ethz.ch>
David Cock [Mon, 24 Aug 2015 08:28:34 +0000]
Generate source-tree relative filenames straight away
David Cock [Mon, 24 Aug 2015 08:23:18 +0000]
TreeDB merge operation
Signed-off-by: David Cock <david.cock@inf.ethz.ch>
David Cock [Mon, 24 Aug 2015 08:13:29 +0000]
Keep directory lists sorted
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>
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>
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>
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>
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>
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>
David Cock [Fri, 21 Aug 2015 12:29:41 +0000]
Cleanup
Signed-off-by: David Cock <david.cock@inf.ethz.ch>
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>
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>
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>
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>
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>
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>
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>
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>
David Cock [Wed, 19 Aug 2015 13:43:28 +0000]
Down to 12s, targets build
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>
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>
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>
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>
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>
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>
David Cock [Tue, 18 Aug 2015 07:24:19 +0000]
Replaced old hake
Signed-off-by: David Cock <david.cock@inf.ethz.ch>
David Cock [Mon, 17 Aug 2015 19:22:53 +0000]
Generates a Makefile
Signed-off-by: David Cock <david.cock@inf.ethz.ch>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
Simon Gerber [Fri, 14 Aug 2015 15:42:43 +0000]
x86: fix spawnd libdeps.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
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>
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>
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>
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>
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>
Simon Gerber [Fri, 14 Aug 2015 07:16:19 +0000]
Fix arrakis merge errors
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 14 Aug 2015 06:46:05 +0000]
Merge branch 'arrakis'
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
Timothy Roscoe [Fri, 3 Jul 2015 13:59:31 +0000]
Simplification of symbolic_targets.mk, addition of platforms and boots to Hake.
Timothy Roscoe [Wed, 29 Apr 2015 16:26:56 +0000]
Modularize symbolic targets a bit
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>
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>
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>
projects / barrelfish / log