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

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

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

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

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 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>

5 years agoMake SKB behaviour more robust in case of overflow.
Gerd Zellweger [Mon, 4 May 2015 15:18:56 +0000]
Make SKB behaviour more robust in case of overflow.

Also increase buffer size because it tended to overflow for larger queries.

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

5 years agoHanding over alignment paramenter of morecore when spanning
Reto Achermann [Thu, 19 Feb 2015 09:32:28 +0000]
Handing over alignment paramenter of morecore when spanning

Spanning domains resulted in a NULL-pointer dereferencing
in when initializing libbarrelfish and parsing arguments
for the morecore alignment. Added new parameter to pass
the alignment of the spanning domain to the new dispatcher
on the remote core.

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