barrelfish
6 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>

6 years agoharness: adding test for xeon phi boot
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>

6 years agoXeon Phi: adding functionality to suppress dma initialization
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>

6 years agoXeon Phi boot: moving control from monitor to xeon phi driver
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>

6 years agoarmv8: cleanup.
Simon Gerber [Fri, 19 Jun 2015 17:07:46 +0000]
armv8: cleanup.

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

6 years agoarmv8: remove old GOT stuff.
Simon Gerber [Fri, 19 Jun 2015 16:54:52 +0000]
armv8: remove old GOT stuff.

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

6 years agoarmv8: add definitions for VMSAv8-64 translation table entries.
Simon Gerber [Fri, 19 Jun 2015 15:44:27 +0000]
armv8: add definitions for VMSAv8-64 translation table entries.

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

6 years agoarmv8: cpu driver improvements.
Simon Gerber [Fri, 19 Jun 2015 13:36:48 +0000]
armv8: cpu driver improvements.

* Set exception vector base register
* Use provided kernel stack
* implement some system register inline assembly
* Clean up arch_init()
* Add prototypes for paging_init() and paging_dump().

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

6 years agok1om-release: fixing missing headers
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>

6 years agokernel: zeroing out new memory allocated by phys_alloc
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>

6 years agocoreboot: adding missing if/ dependencies to Hakefile (octopus, acpi)
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>

6 years agoT125: network starup workaroud
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>

6 years agocoreboot: adding monitor rpc client to the hake file
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>

6 years agok1om kernel: adapting the changes of the x86_64 in init and startup arch
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>

6 years agolibbarrelfish: merging arch specific hearders for k1om and x86_64
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>

6 years agohake: adding missing include path to the k1om kernel
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>

6 years agokernel: removing duplicated headers for k1om
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>

6 years agok1om: aliasing rdtscp with rdtsc
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>

6 years agolibconcurrent: add include file to stddbool into header.
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>

6 years agoasmoffests: merging x86_64 and k1om preprocessor directives
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>

6 years agoweever: adding x86_64 includes to the hake file
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>

6 years agotestconcurrent: reordering includes
Reto Achermann [Thu, 18 Jun 2015 15:55:44 +0000]
testconcurrent: reordering includes

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

6 years agok1om: re-adding architecture dependent asm_inlines file for delay()
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>

6 years agohake: switching include paths and adding additional includes to K1om
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>

6 years agoXeon Phi: Removing duplicated headers
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>

6 years agoarmv8: non-functioning exception vectors.
Simon Gerber [Thu, 18 Jun 2015 16:01:13 +0000]
armv8: non-functioning exception vectors.

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

6 years agoarmv8: try to print things.
Simon Gerber [Thu, 18 Jun 2015 08:56:23 +0000]
armv8: try to print things.

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

6 years agoT123: kernel: remove scc-specific code from x86_32 init.c release2015-06-18
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>

6 years agoT121: kernel: fix BSP KCB creation on x86_32 and armv5
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>

6 years agoT121: kernel: Make BSP KCB a proper capability on ARM
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>

6 years agoT121: kernel: Add missing include
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>

6 years agokernel: Remove references arch_init to bspkcb which does not exist anymore
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>

6 years agoT119: kernel: Implement cap invocation for arm, x86_32
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>

6 years agotrace: Consistent includes across all platforms
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>

6 years agokernel: fix object creation for KCB on arm, x86_32
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>

6 years agoT119: kernel, spawn, libbarrelfish, fish: Remove DEBUG_PRINT_CAPABILITIES syscall...
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>

6 years agoT119: kernel, spawnd, fish: Use dispatcher invocations to dump capability information
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>

6 years agoT119: kernel: Unify debug_print_capabilities in sys_debug.c
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>

6 years agoT118: libbarrelfish: Refactor architecture specific debug syscalls. Move common debug...
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>

6 years agoT119: add case when we find init rootcn in KCB.
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>

6 years agokernel: fix object creation for KCB.
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>

6 years agoT121: Create "real" BSP KCB cap for x86.
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>

6 years agoT119: work in progress, use mdb tree call-back function to gather data
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>

6 years agoT119: implement syscall and monitor interface to debug_print_capabilities
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>

6 years agoCloses T118: libbarrelfish: Extract common syscalls into architecture-independant...
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>

6 years agolibnuma: implementing missing allocation functions + large page support
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>

6 years agolibbomp: match the new bitmap interface for prev/next calls.
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>

6 years agolibbitmap: changing semantics of bitmap_bit_{prev|next}
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>

6 years agomemobj: adding missing implementation of unfill for memobj_numa
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>

6 years agoFixes T120: mdb: Add mdb tree traversal functions.
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>

6 years agoAdding missing THC dependencies in Hakefile of Xeon Phi driver.
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>

6 years agox86: implement modify flags for x86_32 and improve modify flags for x86_64.
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>

6 years agocpuid device definitions: remove utf-8 registered symbols.
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>

6 years agoshortcut in protect for single page operations
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>

6 years agomemobj_anon, protect: use vregion_base and _off correctly
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>

6 years agoFix implementation of memobj_anon protect.
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>

6 years agokernel: x86_64: fixed error handling in modify_flags.
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>

6 years agoT77: Implement selective TLB flushing hint for modify_flags.
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>

6 years agoT73: fix modify_flags for parts of region + test.
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>

6 years agoadding support for modify flags on large/huge pages
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>

6 years agoapm88xxxx: cpu driver: add serial init and printf.
Simon Gerber [Thu, 11 Jun 2015 14:11:30 +0000]
apm88xxxx: cpu driver: add serial init and printf.

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

6 years agoapm88xxxx: implement kernel serial driver.
Simon Gerber [Thu, 11 Jun 2015 14:06:13 +0000]
apm88xxxx: implement kernel serial driver.

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

6 years ago[T115] making SKB CPU facts consistent beginning with core_id
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>

6 years agonumatest: adding +1 to print the correct values
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>

6 years ago[T115] make data gatherer use of libcpuid
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>

6 years ago[T115] extending support for cpuid instruction
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>

6 years agoMerge of upstream arrakis code.
Simon Gerber [Fri, 5 Jun 2015 10:02:18 +0000]
Merge of upstream arrakis code.

This merge includes the following:
* VT-d (IOMMU) support
* VMX (Intel CPU virtualization) support
* Parallel hake build
* MegaRAID driver
* Subways fast packet forwarding application
* Identify physical address of VNodes
* libstorage (VSIC & VSA support)
* POSIX support: poll, uname, nanosleep, fsync, poll, pthread attributes, syslog, wait3, ...
* TenaciousD (persistent data structures: log & queue)
* Hack to skip boot RAM when it's too large
* Arranet: Support for raw IP sockets, interrupts
* Removal of colorful debug output
* MegaRAID blockdevfs support
* Arrakis compile wrappers for Autoconf
* Patches to binutils & GCC to build Arrakis C++ applications

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Signed-off-by: Simon Peter <simpeter@cs.washington.edu>
Signed-off-by: Oleg Godunok <ogodunok@gmail.com>
Signed-off-by: Antoine Kaufmann <antoinek@cs.washington.edu>
Signed-off-by: Jialin Li <lijl@cs.washington.edu>
Signed-off-by: Dalton Black <dalton.m.black@gmail.com>
Signed-off-by: Taesoo Kim <taesoo@uw.edu>

6 years agoskb: adding query for locality information release2015-06-09
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>

6 years agolibnuma: adding support for locality information and node distances
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>

6 years agoACPI: Adding support to parse the locality tables
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>

6 years agoInitial AArch64/ARMv8 skeleton.
Simon Gerber [Mon, 1 Jun 2015 08:16:21 +0000]
Initial AArch64/ARMv8 skeleton.

This includes enough code and definitions to generate all *.depend files for
AArch64/ARMv8 and to build a mostly empty cpu driver for the Applied Micro
X-Gene 1 (apm88xxxx) SoC.

Note: the definitions should be taken with a large grain of salt, some of them
are not updated for AArch64/ARMv8.

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

6 years agoarm: unify arm.h header for all arm 32bit flavours.
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>

6 years agonewlib: T110: fix libc Hakefile to prefer machine-specific impls over generic.
Simon Gerber [Wed, 3 Jun 2015 09:37:56 +0000]
newlib: T110: fix libc Hakefile to prefer machine-specific impls over generic.

This implements the proposed solution 3 in T110 which is the simplest to do
right now. However we should consider implementing one of the other solutions
at a later date.

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

6 years agoarmv5: improved page table dumping.
Simon Gerber [Mon, 1 Jun 2015 16:48:23 +0000]
armv5: improved page table dumping.

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

6 years ago32bit: fixup printf format specifiers.
Simon Gerber [Mon, 1 Jun 2015 15:16:39 +0000]
32bit: fixup printf format specifiers.

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

6 years agonewlib: fixup missing bits + make compile for 32bit.
Simon Gerber [Mon, 1 Jun 2015 15:16:19 +0000]
newlib: fixup missing bits + make compile for 32bit.

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

6 years agonewlib: fixup patch for new newlib version and adjust call sites.
Simon Gerber [Mon, 1 Jun 2015 08:17:43 +0000]
newlib: fixup patch for new newlib version and adjust call sites.

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

6 years agoremove old newlib.
Simon Gerber [Mon, 1 Jun 2015 13:28:24 +0000]
remove old newlib.

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

6 years agoReintegrate newlib 1.19.0 modifications for Barrelfish.
Simon Gerber [Mon, 1 Jun 2015 09:14:32 +0000]
Reintegrate newlib 1.19.0 modifications for Barrelfish.

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

6 years agoMerge tag 'newlib-snapshot-20150423' from git://sourceware.org/git/newlib-cygwin...
Simon Gerber [Mon, 1 Jun 2015 14:35:11 +0000]
Merge tag 'newlib-snapshot-20150423' from git://sourceware.org/git/newlib-cygwin.git as 'lib/newlib'

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

6 years agoSquashed 'lib/newlib/' content from commit a4e9d13
Simon Gerber [Mon, 1 Jun 2015 14:35:11 +0000]
Squashed 'lib/newlib/' content from commit a4e9d13

git-subtree-dir: lib/newlib
git-subtree-split: a4e9d133a8a6cb9a4a5302005c974cbc6b82de42

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

6 years agorename newlib{,-1.19.0}.
Simon Gerber [Mon, 1 Jun 2015 08:16:52 +0000]
rename newlib{,-1.19.0}.

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

6 years agokernel: T78: add notice about bug report on failure.
Simon Gerber [Tue, 26 May 2015 09:31:12 +0000]
kernel: T78: add notice about bug report on failure.

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

6 years agolibvirtio: Fix error check in virtio_vq_host_poll(). release2015-05-22
Simon Gerber [Fri, 22 May 2015 13:31:09 +0000]
libvirtio: Fix error check in virtio_vq_host_poll().

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

6 years agoUpdate AUTHORS file according to commit authors.
Simon Gerber [Fri, 22 May 2015 13:26:21 +0000]
Update AUTHORS file according to commit authors.

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

6 years agousb: adding the correct offset to the interrupt table of the OHCI controller
Reto Achermann [Fri, 22 May 2015 08:51:01 +0000]
usb: adding the correct offset to the interrupt table of the OHCI controller
     closes T99

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

6 years agolibdma: enabling msix support for IOAT. [Closes T101]
Reto Achermann [Tue, 19 May 2015 14:06:23 +0000]
libdma: enabling msix support for IOAT. [Closes T101]

- enabling of MSI-X interrupt support for IOAT DMA
- movied definition of pci_address into pci.h
- interface of pci service takes pci address now

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

6 years agoMake httpperf use emmentaler machines.
Gerd Zellweger [Tue, 19 May 2015 11:28:03 +0000]
Make httpperf use emmentaler machines.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

6 years agoFix qemu 32-bit names to make it consistent with others.
Gerd Zellweger [Tue, 19 May 2015 11:06:04 +0000]
Fix qemu 32-bit names to make it consistent with others.

Qemu had suffix _x32 while regular machines had suffix -32.
Now all have suffix -32.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

6 years agoFix hakefile.
Gerd Zellweger [Mon, 18 May 2015 12:11:07 +0000]
Fix hakefile.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

6 years ago[T96, T88] Added initial pthreads join test program.
Gerd Zellweger [Fri, 15 May 2015 09:36:26 +0000]
[T96, T88] Added initial pthreads join test program.

This is a test-program that shows how the mutex locking
causes a dead-lock to occur when repeatedly creating and
joining threads().

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

6 years agoRevert b51b15e e7b3175. Closes T88 T96.
Gerd Zellweger [Mon, 18 May 2015 11:38:29 +0000]
Revert b51b15e e7b3175. Closes T88 T96.

mutex_lock und unlock was correct in its original implementation:
lock will put a thread in the mutex queue in case some thread already
has the mutex locked, and mutex_unlock is guaranteed to wake-up one of the
waiting threads by taking it from mutex->queue. mutex->locked will
remain set to 1 in case we wakeup a thread from unlock() and access to
the mutex structure is always protected by the mutex->lock spinlock.

This reverts commit e7b3175ba8fefbe2fbbf426ac22be509c000febc.
This reverts commit b51b15ec83fd052f105e21de1fe7714e3d0d6381.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

6 years agoFix b51b15e: re-disable dispatcher in thread_mutex_lock* and thread_sem_wait().
Simon Gerber [Mon, 11 May 2015 12:21:34 +0000]
Fix b51b15e: re-disable dispatcher in thread_mutex_lock* and thread_sem_wait().

Re-disable dispatcher after returning from
thread_block_and_release_spinlock_disabled() and also fix thread_sem_wait() to
correctly block until semaphore can be acquired.

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

6 years agoChange default page size for morecore back to 4kB.
Simon Gerber [Mon, 11 May 2015 12:20:56 +0000]
Change default page size for morecore back to 4kB.

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

6 years agolibbarrelfish: vspace_mmu_aware: fix frame_alloc() retry condition.
Simon Gerber [Thu, 7 May 2015 13:41:39 +0000]
libbarrelfish: vspace_mmu_aware: fix frame_alloc() retry condition.

Fix retry condition when connection to memory server not established yet.

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

6 years agomultihop: fix cap ownership tranfer over multihop channel.
Simon Gerber [Wed, 6 May 2015 15:56:16 +0000]
multihop: fix cap ownership tranfer over multihop channel.

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

6 years agodistops: fix typos and small bugs in delete state machine.
Simon Gerber [Wed, 6 May 2015 15:55:48 +0000]
distops: fix typos and small bugs in delete state machine.

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

6 years agoharness: Add babybel4 to eth machines.
Simon Gerber [Tue, 5 May 2015 17:14:28 +0000]
harness: Add babybel4 to eth machines.

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

6 years agoFix size of argument buffer.
Gerd Zellweger [Tue, 5 May 2015 16:01:28 +0000]
Fix size of argument buffer.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

6 years agoarmv7: fix #ifdef in paging_tlb_flush_range().
Simon Gerber [Mon, 4 May 2015 15:38:17 +0000]
armv7: fix #ifdef in paging_tlb_flush_range().

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