barrelfish
4 years agoT191: Implement prototype for new retype
Simon Gerber [Mon, 18 Apr 2016 13:19:02 +0000]
T191: Implement prototype for new retype

The new retype call takes an offset into the source cap and a count of objects
to create.  This is different from the old call that just took a source and
created as many new objects as fit into that source (determined by source size
and requested size for new objects).

Currently available as `cap_retype2(dest_start, src, offset, new_type, objsize, count);`

Note that this is not used anywhere yet.

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

4 years agoSquashed changes of e89aa91..6ca6bdf (master as of 2016-04-18).
Simon Gerber [Mon, 18 Apr 2016 08:41:26 +0000]
Squashed changes of e89aa91..6ca6bdf (master as of 2016-04-18).

Take this commit out when merging

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

5 years agoT191: x86_64: frame_identify returns size in bytes
Simon Gerber [Fri, 26 Feb 2016 16:44:43 +0000]
T191: x86_64: frame_identify returns size in bytes

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

5 years agoT191: change PhysAddr, RAM, Frame, DevFrame and VNode_* cap types to have size in...
Simon Gerber [Wed, 16 Dec 2015 15:40:54 +0000]
T191: change PhysAddr, RAM, Frame, DevFrame and VNode_* cap types to have size in bytes

This only changes the actual struct capability reprensentation for these
types.  Most of the code dealing with these types now uses log2ceil(bits) to
set the new `bytes` field.

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

5 years agogmp: Improve CFLAGS sanitization be only removing link group from CFLAGS after configure.
Moritz Hoffmann [Fri, 26 Feb 2016 09:13:50 +0000]
gmp: Improve CFLAGS sanitization be only removing link group from CFLAGS after configure.

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

5 years agohake: Remove libgcc from standard libs.
Moritz Hoffmann [Fri, 26 Feb 2016 09:13:13 +0000]
hake: Remove libgcc from standard libs.

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

5 years agohake: Remove libgcc dependency from kernel. Use compiler-rt instead.
Moritz Hoffmann [Fri, 26 Feb 2016 09:12:38 +0000]
hake: Remove libgcc dependency from kernel. Use compiler-rt instead.

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

5 years agoeclipseclp, gmp: do not build on armv5
Moritz Hoffmann [Thu, 25 Feb 2016 19:26:58 +0000]
eclipseclp, gmp: do not build on armv5

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

5 years agogmp: Rework Hakefile to allow cross-compilation.
Moritz Hoffmann [Thu, 25 Feb 2016 19:00:33 +0000]
gmp: Rework Hakefile to allow cross-compilation.

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

5 years agohake: Remove -lgcc on arm targets. Add compiler-rt to stdLibs.
Moritz Hoffmann [Thu, 25 Feb 2016 17:58:42 +0000]
hake: Remove -lgcc on arm targets. Add compiler-rt to stdLibs.

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

5 years agocompiler-rt: Initialize variables to avoid GCC complaining.
Moritz Hoffmann [Thu, 25 Feb 2016 17:56:15 +0000]
compiler-rt: Initialize variables to avoid GCC complaining.

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

5 years agocompiler-rt: Exclude *vfp files from build on arm.
Moritz Hoffmann [Thu, 25 Feb 2016 17:55:38 +0000]
compiler-rt: Exclude *vfp files from build on arm.

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

5 years agocompiler-rt: Define __ARM_EABI__ on 32-bit arm targets.
Moritz Hoffmann [Thu, 25 Feb 2016 17:55:06 +0000]
compiler-rt: Define __ARM_EABI__ on 32-bit arm targets.

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

5 years agogmp: Add missing architecture translations.
Moritz Hoffmann [Thu, 25 Feb 2016 12:40:34 +0000]
gmp: Add missing architecture translations.

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

5 years agoharness/spantest: Fix imports. Fixes T217.
Moritz Hoffmann [Thu, 25 Feb 2016 12:29:17 +0000]
harness/spantest: Fix imports. Fixes T217.

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

5 years agoMerge branch 'eclipseclp'
Moritz Hoffmann [Thu, 25 Feb 2016 10:48:43 +0000]
Merge branch 'eclipseclp'

5 years agomenu.lst: Include eclipseclp_ramfs.cpio.gz
Moritz Hoffmann [Thu, 25 Feb 2016 10:46:12 +0000]
menu.lst: Include eclipseclp_ramfs.cpio.gz

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

5 years agoeclipseclp/Shm: Assemble lock.S to enable x86_32 compilation.
Moritz Hoffmann [Thu, 25 Feb 2016 10:22:41 +0000]
eclipseclp/Shm: Assemble lock.S to enable x86_32 compilation.

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

5 years agoeclipseclp/Shm: Use sizes.h instead of defining sizes in Hakefile.
Moritz Hoffmann [Thu, 25 Feb 2016 10:22:07 +0000]
eclipseclp/Shm: Use sizes.h instead of defining sizes in Hakefile.

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

5 years agoeclipseclp: Correct dependency on gmp.
Moritz Hoffmann [Thu, 25 Feb 2016 10:21:19 +0000]
eclipseclp: Correct dependency on gmp.

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

5 years agoeclipseclp: Transfer old flags.
Moritz Hoffmann [Thu, 25 Feb 2016 10:21:02 +0000]
eclipseclp: Transfer old flags.

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

5 years agogmp: Generalize Hakefile not to have non-portable dependencies.
Moritz Hoffmann [Thu, 25 Feb 2016 10:19:50 +0000]
gmp: Generalize Hakefile not to have non-portable dependencies.

All flags and include paths are extracted from Hake.

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

5 years agoskb/measurement: Correct dependency on schema/cpuid.h
Moritz Hoffmann [Thu, 25 Feb 2016 10:18:14 +0000]
skb/measurement: Correct dependency on schema/cpuid.h

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

5 years agoeclipseclp: Prepare for x86_32 and arm
Moritz Hoffmann [Thu, 25 Feb 2016 10:17:47 +0000]
eclipseclp: Prepare for x86_32 and arm

This commit merges changes previously applied to the old eclipseclp
bundled with skb.

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

5 years agoeclipseclp: Extract SIZEOF_* definitions into header file.
Moritz Hoffmann [Thu, 25 Feb 2016 10:16:15 +0000]
eclipseclp: Extract SIZEOF_* definitions into header file.

Eclipseclp requires to know the size of various types at compile time. Normally,
the configure target takes care of creating the correct entries in various
config.h files. As we do not run configure on Barrelfish, we have to define
them manually.

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

5 years agohake: Add compiler function to RuleDefs.
Moritz Hoffmann [Thu, 25 Feb 2016 10:13:07 +0000]
hake: Add compiler function to RuleDefs.

This function merely returns the compiler used for the target architecture.

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

5 years agohake: Define INSTALLDIR, ABSINSTALLDIR, ABSSRCDIR, ABSBUILDDIR in Makefile
Moritz Hoffmann [Thu, 25 Feb 2016 10:12:28 +0000]
hake: Define INSTALLDIR, ABSINSTALLDIR, ABSSRCDIR, ABSBUILDDIR in Makefile

These definitions are required to set CFLAGS for nested autoconf-based builds.

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

5 years agoskb: Link against gmp.
Moritz Hoffmann [Wed, 24 Feb 2016 14:45:26 +0000]
skb: Link against gmp.

eclipseclp depends on gmp. As we don't have transitive dependencies
we need to link explicitly

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

5 years agoeclipseclp: Link against gmp.
Moritz Hoffmann [Wed, 24 Feb 2016 14:44:40 +0000]
eclipseclp: Link against gmp.

Requires a quirk to add the gmp directory to the include path.

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

5 years agogmp: Add Hakefile.
Moritz Hoffmann [Wed, 24 Feb 2016 14:43:57 +0000]
gmp: Add Hakefile.

Warning: This is a hack and requires absolute directories of
the build dir and Barrelfish source dir. It downloads gmp, unpacks
it, runs configure and make and copies the lib to the correct location.

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

5 years agoharness: run angler with termtype "dumb" for interactive tests: this disables fancy... release2016-02-24
Simon Gerber [Tue, 23 Feb 2016 18:47:59 +0000]
harness: run angler with termtype "dumb" for interactive tests: this disables fancy linenoise functionality

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

5 years agoserial: unify the kernel serial interface again
Reto Achermann [Tue, 23 Feb 2016 17:54:51 +0000]
serial: unify the kernel serial interface again

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

5 years agokernel: x86_64: vmx: properly intialize val in vmx_read_msr()
Simon Gerber [Tue, 23 Feb 2016 16:28:27 +0000]
kernel: x86_64: vmx: properly intialize val in vmx_read_msr()

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

5 years agokaluga: Fix string formatting in debug code.
Moritz Hoffmann [Tue, 23 Feb 2016 09:58:45 +0000]
kaluga: Fix string formatting in debug code.

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

5 years agoskb: Use new Shm library.
Moritz Hoffmann [Tue, 23 Feb 2016 12:55:49 +0000]
skb: Use new Shm library.

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

5 years agoeclipseclp + toosl: Rename eclipse_kernel_ramfs to eclipseclp_ramfs.
Moritz Hoffmann [Tue, 23 Feb 2016 12:44:00 +0000]
eclipseclp + toosl: Rename eclipse_kernel_ramfs to eclipseclp_ramfs.

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

5 years agoeclipseclp: Disable bash debugging for mkcpio.
Moritz Hoffmann [Tue, 23 Feb 2016 12:43:17 +0000]
eclipseclp: Disable bash debugging for mkcpio.

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

5 years agoplatforms: Update copyright notice.
Moritz Hoffmann [Tue, 23 Feb 2016 12:42:53 +0000]
platforms: Update copyright notice.

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

5 years agoeclipseclp: Update copyright notice.
Moritz Hoffmann [Tue, 23 Feb 2016 12:42:26 +0000]
eclipseclp: Update copyright notice.

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

5 years agoskb: Disable debugging.
Moritz Hoffmann [Tue, 23 Feb 2016 12:41:50 +0000]
skb: Disable debugging.

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

5 years agoskb: Update copyright notices.
Moritz Hoffmann [Tue, 23 Feb 2016 12:41:34 +0000]
skb: Update copyright notices.

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

5 years agokaluga/driver_startup.c: Add missing copyright notice.
Moritz Hoffmann [Tue, 23 Feb 2016 12:40:57 +0000]
kaluga/driver_startup.c: Add missing copyright notice.

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

5 years agoacpi: Update some copyrights.
Moritz Hoffmann [Tue, 23 Feb 2016 12:40:32 +0000]
acpi: Update some copyrights.

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

5 years agoposixcompat/sysconf: Update copyright.
Moritz Hoffmann [Tue, 23 Feb 2016 12:40:08 +0000]
posixcompat/sysconf: Update copyright.

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

5 years agoBarrelfish: Update copyright notice in README.
Moritz Hoffmann [Tue, 23 Feb 2016 12:39:42 +0000]
Barrelfish: Update copyright notice in README.

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

5 years agoeclipseclp/icparc: use system regex implementation instead of local.
Moritz Hoffmann [Tue, 23 Feb 2016 11:52:10 +0000]
eclipseclp/icparc: use system regex implementation instead of local.

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

5 years agoposixcompat/sysconf: Print warning when executing unknown sysconf command.
Moritz Hoffmann [Tue, 23 Feb 2016 10:02:28 +0000]
posixcompat/sysconf: Print warning when executing unknown sysconf command.

On Barrelfish, we only implement a very small subset of the variables
that can be queried with sysconf. Print a warning when a program queries
one that is not implemented. Previously, the warning was only printed
when posixcompat debugging was enabled.

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

5 years agoskb: Update Hakefile to link skb against new eclipseclp.
Moritz Hoffmann [Tue, 23 Feb 2016 10:00:37 +0000]
skb: Update Hakefile to link skb against new eclipseclp.

Currently, the new libraries are called the same with an
appended 'x'. This will change in future once the old
targets are removed.

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

5 years agoacpi: Use USER_PANIC_ERR instead of assert.
Moritz Hoffmann [Tue, 23 Feb 2016 09:59:21 +0000]
acpi: Use USER_PANIC_ERR instead of assert.

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

5 years agokaluga: Fix string formatting in debug code.
Moritz Hoffmann [Tue, 23 Feb 2016 09:58:45 +0000]
kaluga: Fix string formatting in debug code.

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

5 years agoskb: improve debugging
Moritz Hoffmann [Tue, 23 Feb 2016 09:58:04 +0000]
skb: improve debugging

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

5 years agoskb: eclipseclp deprecated flush(1) in favor of flush(output).
Moritz Hoffmann [Tue, 23 Feb 2016 09:56:56 +0000]
skb: eclipseclp deprecated flush(1) in favor of flush(output).

The same holds for flush(0), which is now flush(error).

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

5 years agoeclipseclp: Source changes to satisfy compiler.
Moritz Hoffmann [Tue, 23 Feb 2016 09:55:10 +0000]
eclipseclp: Source changes to satisfy compiler.

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

5 years agoeclipseclp/Shm: add config.h
Moritz Hoffmann [Tue, 23 Feb 2016 09:53:55 +0000]
eclipseclp/Shm: add config.h

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

5 years agoeclipseclp/sepia: initialize vfs on Barrelfish
Moritz Hoffmann [Tue, 23 Feb 2016 09:53:34 +0000]
eclipseclp/sepia: initialize vfs on Barrelfish

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

5 years agoeclipseclp: update config.h
Moritz Hoffmann [Tue, 23 Feb 2016 09:52:48 +0000]
eclipseclp: update config.h

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

5 years agoeclipseclp: Fix array overflow bug
Moritz Hoffmann [Tue, 23 Feb 2016 09:52:11 +0000]
eclipseclp: Fix array overflow bug

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

5 years agoeclipseclp: update Hakefiles
Moritz Hoffmann [Tue, 23 Feb 2016 09:51:37 +0000]
eclipseclp: update Hakefiles

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

5 years agoacpi: main(), check skb_client_connect return value
Moritz Hoffmann [Mon, 22 Feb 2016 15:29:32 +0000]
acpi: main(), check skb_client_connect return value

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

5 years agoFixed T203
Lukas Humbel [Thu, 11 Feb 2016 16:26:50 +0000]
Fixed T203

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoT207: Implement local_phys_is_valid() and call this in paging_dump_tables()
Simon Gerber [Thu, 11 Feb 2016 15:05:45 +0000]
T207: Implement local_phys_is_valid() and call this in paging_dump_tables()

Closes T207.

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

5 years agoT203 remove virtual devices
Lukas Humbel [Thu, 11 Feb 2016 13:15:15 +0000]
T203 remove virtual devices

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoT203 vmkit bugfix for HW interrupts when in VM
Lukas Humbel [Thu, 11 Feb 2016 10:25:37 +0000]
T203 vmkit bugfix for HW interrupts when in VM

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoT203 vmkit test: fix menu.lst for serial output
Lukas Humbel [Wed, 10 Feb 2016 10:42:52 +0000]
T203 vmkit test: fix menu.lst for serial output

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agoT203 Fix null pointer for vmkit domain
Lukas Humbel [Mon, 8 Feb 2016 17:44:47 +0000]
T203 Fix null pointer for vmkit domain

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

5 years agocompiler-rt: disable trampoline_setup_test. Closes T206
Moritz Hoffmann [Thu, 11 Feb 2016 12:49:41 +0000]
compiler-rt: disable trampoline_setup_test. Closes T206

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

5 years agoeclipseclp/Kernel: Add Hakefile
Moritz Hoffmann [Wed, 10 Feb 2016 16:25:59 +0000]
eclipseclp/Kernel: Add Hakefile

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

5 years agoeclipseclp/Shm: add default config.h
Moritz Hoffmann [Wed, 10 Feb 2016 15:56:02 +0000]
eclipseclp/Shm: add default config.h

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

5 years agoeclipseclp/Kernel: start with default config.h
Moritz Hoffmann [Wed, 10 Feb 2016 15:45:22 +0000]
eclipseclp/Kernel: start with default config.h

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

5 years agoMerge commit 'a036c989e56a595268f21b830de60af7fc0f433a' as 'usr/eclipseclp'
Moritz Hoffmann [Wed, 10 Feb 2016 15:25:43 +0000]
Merge commit 'a036c989e56a595268f21b830de60af7fc0f433a' as 'usr/eclipseclp'

5 years agoSquashed 'usr/eclipseclp/' content from commit f5ce146
Moritz Hoffmann [Wed, 10 Feb 2016 15:25:43 +0000]
Squashed 'usr/eclipseclp/' content from commit f5ce146

git-subtree-dir: usr/eclipseclp
git-subtree-split: f5ce1462224bdc8bdf90d59eee8550a11aa410e3

5 years agoMerge branch 'tommath'
Moritz Hoffmann [Wed, 10 Feb 2016 13:57:46 +0000]
Merge branch 'tommath'

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

5 years agoharness/tommath: add mont test
Moritz Hoffmann [Wed, 10 Feb 2016 13:54:51 +0000]
harness/tommath: add mont test

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

5 years agotommath/mont: pass random see through arg on BF
Moritz Hoffmann [Wed, 10 Feb 2016 13:54:15 +0000]
tommath/mont: pass random see through arg on BF

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

5 years agotommath: add target for mont test
Moritz Hoffmann [Wed, 10 Feb 2016 13:53:25 +0000]
tommath: add target for mont test

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

5 years agoharness: test compiler-rt builtins
Moritz Hoffmann [Wed, 10 Feb 2016 13:32:35 +0000]
harness: test compiler-rt builtins

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

5 years agonewlib/libm: add missing files to Hakefile, enable _LDBL_EQ_DBL
Moritz Hoffmann [Wed, 10 Feb 2016 13:32:06 +0000]
newlib/libm: add missing files to Hakefile, enable _LDBL_EQ_DBL

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

5 years agocompiler-rt: fix missing include
Moritz Hoffmann [Wed, 10 Feb 2016 13:30:15 +0000]
compiler-rt: fix missing include

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

5 years agocompiler-rt: do not compile unsupported tests on Barrelfish
Moritz Hoffmann [Wed, 10 Feb 2016 13:29:38 +0000]
compiler-rt: do not compile unsupported tests on Barrelfish

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

5 years agousleeptest: test that waits for specified amount of seconds
Moritz Hoffmann [Wed, 10 Feb 2016 13:28:36 +0000]
usleeptest: test that waits for specified amount of seconds

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

5 years agocompiler-rt: compile builtins unit tests
Moritz Hoffmann [Wed, 10 Feb 2016 10:11:44 +0000]
compiler-rt: compile builtins unit tests

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

5 years agocompiler-rt: correct arch-specific compilation
Moritz Hoffmann [Wed, 10 Feb 2016 09:27:35 +0000]
compiler-rt: correct arch-specific compilation

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

5 years agocompiler-rt: compile arch-specific builtins
Moritz Hoffmann [Wed, 10 Feb 2016 09:03:30 +0000]
compiler-rt: compile arch-specific builtins

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

5 years agocompiler-rt: compile most builtins
Moritz Hoffmann [Tue, 9 Feb 2016 17:52:04 +0000]
compiler-rt: compile most builtins

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

5 years agotommath: change Hakefile description
Moritz Hoffmann [Tue, 9 Feb 2016 17:30:44 +0000]
tommath: change Hakefile description

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

5 years agocompiler-rt: compile without touching source code by disabling warnings
Moritz Hoffmann [Tue, 9 Feb 2016 17:30:07 +0000]
compiler-rt: compile without touching source code by disabling warnings

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

5 years agotommath: compile mersenne sample program
Moritz Hoffmann [Thu, 4 Feb 2016 13:45:31 +0000]
tommath: compile mersenne sample program

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

5 years agoadd compiler-rt Hakefile
Moritz Hoffmann [Mon, 8 Feb 2016 13:48:43 +0000]
add compiler-rt Hakefile

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

5 years agotommath: add Hakefile
Moritz Hoffmann [Thu, 4 Feb 2016 13:05:24 +0000]
tommath: add Hakefile

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

5 years agoMerge commit 'f5164f1fc37fa077a55a52d479ac3ad8582289c8' as 'lib/compiler-rt'
Moritz Hoffmann [Tue, 9 Feb 2016 17:11:54 +0000]
Merge commit 'f5164f1fc37fa077a55a52d479ac3ad8582289c8' as 'lib/compiler-rt'

5 years agoSquashed 'lib/compiler-rt/' content from commit 7895f5b
Moritz Hoffmann [Tue, 9 Feb 2016 17:11:54 +0000]
Squashed 'lib/compiler-rt/' content from commit 7895f5b

git-subtree-dir: lib/compiler-rt
git-subtree-split: 7895f5b615d2b9f24ad6bcc05f1e2d63ba753c4f

5 years agoMerge commit 'ff25fb56ec9a7500e39bd2e38e0c39429e4b0f09' as 'lib/tommath'
Moritz Hoffmann [Tue, 9 Feb 2016 17:06:14 +0000]
Merge commit 'ff25fb56ec9a7500e39bd2e38e0c39429e4b0f09' as 'lib/tommath'

5 years agoSquashed 'lib/tommath/' content from commit 1bd1320
Moritz Hoffmann [Tue, 9 Feb 2016 17:06:14 +0000]
Squashed 'lib/tommath/' content from commit 1bd1320

git-subtree-dir: lib/tommath
git-subtree-split: 1bd1320b198655ad8edd3dd791805d6a4a89437d

5 years agoAdded toolchain definitions for Linaro 2015.08
David Cock [Tue, 9 Feb 2016 16:02:36 +0000]
Added toolchain definitions for Linaro 2015.08

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

5 years agohamlet, kpi types, caps: add pasid type
Moritz Hoffmann [Mon, 8 Feb 2016 10:36:25 +0000]
hamlet, kpi types, caps: add pasid type

The type represents a physical address space identifier. This patch adds support
in hamlet for a `pasid' type and declares the corresponding pasid_t and macros
in barrelfish_kpi/types.h. It changes caps.hl to use the new type instead of
uint32. The pasid type is represented by a uint32 at the moment.

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

5 years agoAdd Physical ASID field to PhysAddr, RAM, Frame and DevFrame
Simon Gerber [Tue, 15 Dec 2015 13:59:56 +0000]
Add Physical ASID field to PhysAddr, RAM, Frame and DevFrame

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

5 years agoharness: dealing with capturing aoutput after endstring in spantest
Reto Achermann [Wed, 3 Feb 2016 16:05:46 +0000]
harness: dealing with capturing aoutput after endstring in spantest

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

5 years agospantest: adding a different printf for test finish marker
Reto Achermann [Wed, 3 Feb 2016 15:33:11 +0000]
spantest: adding a different printf for test finish marker

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

5 years agoharness: bugfix in spantest
Reto Achermann [Wed, 3 Feb 2016 15:04:39 +0000]
harness: bugfix in spantest

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

5 years agoharness: adding tests for span interleave and span exit
Reto Achermann [Wed, 3 Feb 2016 14:57:16 +0000]
harness: adding tests for span interleave and span exit

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