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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
Reto Achermann [Mon, 22 Jun 2015 09:28:08 +0000]
harness: adding test for xeon phi boot
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Mon, 22 Jun 2015 07:39:48 +0000]
Xeon Phi: adding functionality to suppress dma initialization
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Mon, 22 Jun 2015 07:38:42 +0000]
Xeon Phi boot: moving control from monitor to xeon phi driver
removing spawning of corectrl to the xeon phi driver domain.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 19 Jun 2015 10:07:15 +0000]
k1om-release: fixing missing headers
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 19 Jun 2015 10:04:18 +0000]
kernel: zeroing out new memory allocated by phys_alloc
on the Xeon Phi this memory was sometimes not zeroed out causing
problems with non-empty slots in the CNODES.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 19 Jun 2015 09:09:48 +0000]
coreboot: adding missing if/ dependencies to Hakefile (octopus, acpi)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 19 Jun 2015 07:33:42 +0000]
T125: network starup workaroud
Machines having more than one e1000 network card in it sometimes
use the wrong card to initialize the network infrastructure.
Adding an argument to kaluga eth0={PCIADDRESS} to tell Kaluga
which device to take to initialize the network.
the address has format: PCIADDRESS=bus:dev:fun
closes T125
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 19 Jun 2015 06:33:39 +0000]
coreboot: adding monitor rpc client to the hake file
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 18 Jun 2015 16:56:32 +0000]
k1om kernel: adapting the changes of the x86_64 in init and startup arch
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 18 Jun 2015 16:50:29 +0000]
libbarrelfish: merging arch specific hearders for k1om and x86_64
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 18 Jun 2015 16:38:20 +0000]
hake: adding missing include path to the k1om kernel
The include path 'include/arch/x86_64' was missing in the
kernel optIncludes for K1om.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 18 Jun 2015 16:37:20 +0000]
kernel: removing duplicated headers for k1om
merging the k1om and x86_64 headers in the kernel.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 18 Jun 2015 16:00:04 +0000]
k1om: aliasing rdtscp with rdtsc
on the Xeon Phi rdtscp instructions are not available. using rdtsc instead.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 18 Jun 2015 15:59:13 +0000]
libconcurrent: add include file to stddbool into header.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 18 Jun 2015 15:57:40 +0000]
asmoffests: merging x86_64 and k1om preprocessor directives
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 18 Jun 2015 15:57:14 +0000]
weever: adding x86_64 includes to the hake file
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 18 Jun 2015 15:55:44 +0000]
testconcurrent: reordering includes
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 18 Jun 2015 15:40:31 +0000]
k1om: re-adding architecture dependent asm_inlines file for delay()
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 18 Jun 2015 15:36:07 +0000]
hake: switching include paths and adding additional includes to K1om
Moving application specific includes before the standard ones
Adding the x86_64 includes after the k1om to support both headers
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 18 Jun 2015 15:28:27 +0000]
Xeon Phi: Removing duplicated headers
Most of the headers of the Xeon Phi architecture were copies
or used the X86_64 architecture. We reuse the x86_64 headers
directly now.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Moritz Hoffmann [Wed, 17 Jun 2015 14:07:34 +0000]
T123: kernel: remove scc-specific code from x86_32 init.c
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Wed, 17 Jun 2015 14:06:37 +0000]
T121: kernel: fix BSP KCB creation on x86_32 and armv5
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Wed, 17 Jun 2015 13:20:21 +0000]
T121: kernel: Make BSP KCB a proper capability on ARM
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 16 Jun 2015 16:13:08 +0000]
T121: kernel: Add missing include
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 16 Jun 2015 15:24:07 +0000]
kernel: Remove references arch_init to bspkcb which does not exist anymore
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 16 Jun 2015 11:35:47 +0000]
T119: kernel: Implement cap invocation for arm, x86_32
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 16 Jun 2015 11:34:23 +0000]
trace: Consistent includes across all platforms
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Tue, 16 Jun 2015 11:33:28 +0000]
kernel: fix object creation for KCB on arm, x86_32
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Mon, 15 Jun 2015 15:06:29 +0000]
T119: kernel, spawn, libbarrelfish, fish: Remove DEBUG_PRINT_CAPABILITIES syscall. Use capinvoke from fish instead. Improve output formatting.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Mon, 15 Jun 2015 14:40:27 +0000]
T119: kernel, spawnd, fish: Use dispatcher invocations to dump capability information
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Mon, 15 Jun 2015 11:27:30 +0000]
T119: kernel: Unify debug_print_capabilities in sys_debug.c
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Mon, 15 Jun 2015 11:24:57 +0000]
T118: libbarrelfish: Refactor architecture specific debug syscalls. Move common debug syscalls to top level sys_debug.c
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Simon Gerber [Mon, 15 Jun 2015 09:17:53 +0000]
T119: add case when we find init rootcn in KCB.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Mon, 15 Jun 2015 09:17:00 +0000]
kernel: fix object creation for KCB.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Mon, 15 Jun 2015 09:16:25 +0000]
T121: Create "real" BSP KCB cap for x86.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Moritz Hoffmann [Mon, 15 Jun 2015 07:52:12 +0000]
T119: work in progress, use mdb tree call-back function to gather data
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Thu, 11 Jun 2015 15:27:26 +0000]
T119: implement syscall and monitor interface to debug_print_capabilities
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Moritz Hoffmann [Thu, 11 Jun 2015 14:50:28 +0000]
Closes T118: libbarrelfish: Extract common syscalls into architecture-independant syscalls.h
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Reto Achermann [Tue, 16 Jun 2015 09:32:12 +0000]
libnuma: implementing missing allocation functions + large page support
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 16 Jun 2015 09:30:17 +0000]
libbomp: match the new bitmap interface for prev/next calls.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 16 Jun 2015 09:26:51 +0000]
libbitmap: changing semantics of bitmap_bit_{prev|next}
adapting the semantics of those functions to match the function
description.
changing type of bitmap_bit_t to signed integer to be able
to check for negativity.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 16 Jun 2015 09:18:18 +0000]
memobj: adding missing implementation of unfill for memobj_numa
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Moritz Hoffmann [Fri, 12 Jun 2015 14:09:54 +0000]
Fixes T120: mdb: Add mdb tree traversal functions.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Reto Achermann [Mon, 15 Jun 2015 06:16:18 +0000]
Adding missing THC dependencies in Hakefile of Xeon Phi driver.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Simon Gerber [Thu, 11 Jun 2015 16:52:00 +0000]
x86: implement modify flags for x86_32 and improve modify flags for x86_64.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Thu, 11 Jun 2015 16:45:41 +0000]
cpuid device definitions: remove utf-8 registered symbols.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Moritz Hoffmann [Fri, 13 Mar 2015 10:16:26 +0000]
shortcut in protect for single page operations
Signed-off-by: Moritz Hoffmann <moritzho@inf.ethz.ch>
Moritz Hoffmann [Wed, 11 Mar 2015 17:44:28 +0000]
memobj_anon, protect: use vregion_base and _off correctly
Signed-off-by: Moritz Hoffmann <moritzho@inf.ethz.ch>
Moritz Hoffmann [Wed, 11 Mar 2015 17:26:20 +0000]
Fix implementation of memobj_anon protect.
Traverse the linked list of frames and call protect on those frames that
overlap with the requested range.
Signed-off-by: Moritz Hoffmann <moritzho@inf.ethz.ch>
Simon Gerber [Tue, 17 Mar 2015 14:57:39 +0000]
kernel: x86_64: fixed error handling in modify_flags.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 11 Mar 2015 18:35:22 +0000]
T77: Implement selective TLB flushing hint for modify_flags.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 3 Mar 2015 15:08:41 +0000]
T73: fix modify_flags for parts of region + test.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Reto Achermann [Mon, 23 Feb 2015 09:54:29 +0000]
adding support for modify flags on large/huge pages
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Reto Achermann [Wed, 10 Jun 2015 12:31:03 +0000]
[T115] making SKB CPU facts consistent beginning with core_id
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 10 Jun 2015 11:59:46 +0000]
numatest: adding +1 to print the correct values
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 10 Jun 2015 11:58:39 +0000]
[T115] make data gatherer use of libcpuid
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 10 Jun 2015 11:53:18 +0000]
[T115] extending support for cpuid instruction
initial commit of a unified cpuid library for obtaining information
about cpu features, caches, tlbs, cores/threads etc.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 4 Jun 2015 12:20:33 +0000]
skb: adding query for locality information
acpi is adding locality information now. the query allows users
to obtain a list of distances between the numa nodes
extended system topology query to return the list of distances.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 4 Jun 2015 12:18:34 +0000]
libnuma: adding support for locality information and node distances
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 4 Jun 2015 09:56:32 +0000]
ACPI: Adding support to parse the locality tables
added table definitions for the memory topology tables.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Simon Gerber [Wed, 3 Jun 2015 14:52:47 +0000]
arm: unify arm.h header for all arm 32bit flavours.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
projects / barrelfish / log