Adam Turowski [Thu, 22 Jun 2017 11:55:32 +0000]
rpc_cap_test: adding missing include
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Thu, 22 Jun 2017 09:41:33 +0000]
gdtoa: fixing Hakefile
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Thu, 22 Jun 2017 08:59:09 +0000]
harness: call hake with a proper architecture
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Mon, 19 Jun 2017 15:11:19 +0000]
libc: removing newlib, adding BSD libc
posixcompat: moving gettimeofday to libc
harness: adding a simple math test
lwip, lwip2: moving includes to /include, compiling with BSD headers
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Thu, 22 Jun 2017 07:12:18 +0000]
skb: switching from dlmalloc to libc malloc
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Thu, 22 Jun 2017 07:09:02 +0000]
platforms: disabling sshd
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Thu, 22 Jun 2017 06:59:39 +0000]
hake: fixing linking order of static libraries by grouping them, removing newlib and libc include paths, changing armv7 abi to hard floats
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Wed, 21 Jun 2017 14:48:20 +0000]
armv7: enabling VFP
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Wed, 21 Jun 2017 13:56:12 +0000]
numa: changing PRI macros to SCN in a scanf-alike call
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Tue, 20 Jun 2017 07:41:52 +0000]
schemas: converting 'right single quotation mark' to normal apostrophe
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Mon, 19 Jun 2017 14:41:56 +0000]
spawn: fixing creation of an environment, empty string could be insterted on non-x86
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Gerd Zellweger [Mon, 19 Jun 2017 09:24:16 +0000]
Fix dependencies for mmchs driver.
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Gerd Zellweger [Thu, 15 Jun 2017 15:42:13 +0000]
Convert mmchs to new driver interface.
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Reto Achermann [Wed, 14 Jun 2017 15:10:22 +0000]
fixing build for the documentation
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 14 Jun 2017 14:53:00 +0000]
armv8: fixing misaligned page-table in bootdriver
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Gerd Zellweger [Wed, 14 Jun 2017 14:34:44 +0000]
Pass cap correct in driver domain to fdif instance.
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Gerd Zellweger [Mon, 12 Jun 2017 11:44:17 +0000]
Check-in older changes from FDIF conversion.
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Reto Achermann [Tue, 13 Jun 2017 11:54:00 +0000]
skate: use architecture instead of arch family
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 13 Jun 2017 06:54:10 +0000]
Merge branch 'skate'
This brings the Skate DSL to specify SKB facts and their relations.
Skate repalces Sockeye.
See technote 020.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 13 Jun 2017 06:53:01 +0000]
TN-020: adding a remark regarding case sensitivity
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Adam Turowski [Tue, 6 Jun 2017 14:12:11 +0000]
devif: e1000 backend initial version
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Tue, 6 Jun 2017 07:35:11 +0000]
pci library: adding a user state pointer
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Simon Gerber [Fri, 2 Jun 2017 14:54:03 +0000]
doc: tn04: update vm technote to match recent implementation changes
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 2 Jun 2017 13:17:14 +0000]
tests: fix skb cap storage test to use %PRIuGENPADDR instead of %zu
This makes client side of capstorage not choke on invalid caprefs in
skb_snprintf().
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 2 Jun 2017 13:16:11 +0000]
kernel: caps_lookup_slot: fix edgecase for l1 index out of range
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 2 Jun 2017 11:56:22 +0000]
doc: tn13: add invocations on VNode and some minor changes
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 2 Jun 2017 11:37:39 +0000]
doc: tn13: more updates to ch6
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 2 Jun 2017 10:32:49 +0000]
doc: tn13: Reword hybrid solution section
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 2 Jun 2017 10:28:37 +0000]
doc: tn13: Add section on Mark's hybrid operations in ch6
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 2 Jun 2017 10:11:55 +0000]
doc: tn13: Add section on implementation of cap database
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 2 Jun 2017 09:41:04 +0000]
doc: tn13: Update wording for frame/devframe ondelete()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 2 Jun 2017 09:38:01 +0000]
doc: tn13: add mapping capability to types
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 2 Jun 2017 09:28:46 +0000]
doc: tn13: fix comment in hakefile
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 2 Jun 2017 09:27:53 +0000]
doc: tn13: add KCB to cap types
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 2 Jun 2017 08:59:59 +0000]
doc: tn13: Add one sentence description for all currently available Kernel cap invocations
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 2 Jun 2017 08:51:22 +0000]
doc: tn13: update capability type section
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 2 Jun 2017 07:46:57 +0000]
documentation: tn13: start updating capmgmt technote
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Timothy Roscoe [Fri, 2 Jun 2017 11:53:23 +0000]
Converted Filet-o-Fish Literate Haskell code into a Technical Note
Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>
Simon Gerber [Fri, 2 Jun 2017 07:25:14 +0000]
tests: update L1/L2 CNode creation tests and add harness test
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 10 May 2017 13:54:02 +0000]
harness: distops tests: make sure tests have run when reporting test success
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 10 May 2017 13:49:33 +0000]
harness: cleanup tests to not override is_finished() where possible
If is_finished() cannot be converted into get_finish_string(), i.e.
is_finished() is a condition that depends on multiple output lines make sure
we call super().is_finished(line) on every line so that we catch Assertion
errors etc. that are checked for in TestCommon.is_finished().
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 10 May 2017 11:54:30 +0000]
armv8: kaluga: remove early oct_set("all_spawnds_up")
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Wed, 10 May 2017 11:53:36 +0000]
harness: fix gorgonzola2 machine data
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Adam Turowski [Thu, 1 Jun 2017 13:31:07 +0000]
lwip2: fixing pbuf reallocation and tuning TCP options
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Thu, 1 Jun 2017 11:40:36 +0000]
Removing Windows newlines.
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Thu, 1 Jun 2017 10:34:50 +0000]
net/arp and net/dhcp: adding missing includes
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Thu, 1 Jun 2017 10:33:04 +0000]
Merge branch 'lwip-next': new lwip-2 network stack
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Reto Achermann [Sat, 27 May 2017 11:22:07 +0000]
skate: make generated C code compile
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Sat, 27 May 2017 10:46:32 +0000]
Add code generation for functions to add facts to the SKB
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Gerd Zellweger [Tue, 16 May 2017 11:32:43 +0000]
Small fix to glossary.
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Gerd Zellweger [Tue, 16 May 2017 11:30:51 +0000]
Update documentation for device drivers.
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Gerd Zellweger [Tue, 16 May 2017 08:43:04 +0000]
Extend glossary with the new driver terminology.
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Gerd Zellweger [Mon, 15 May 2017 15:02:41 +0000]
Added template for driver domain and driver module.
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Gerd Zellweger [Mon, 15 May 2017 15:01:17 +0000]
Added infrastructure for driver domains, device driver modules and
device driver instances.
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Gerd Zellweger [Mon, 15 May 2017 11:17:25 +0000]
Add addModules flag to hake.
Any library specified in addModules will be linked using the
--whole-archive flag which prevents the linker from dropping
the symbols if they are not referenced anywhere.
We will use this to make sure device driver modules can
be found and started dynamically inside a driver domain.
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Reto Achermann [Sun, 14 May 2017 19:09:34 +0000]
skate: adding generation of fact format string
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 11 May 2017 13:01:00 +0000]
compiler-rt: actually use arch_cFlags and disabling subft3 test on ARMv8
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 11 May 2017 12:54:59 +0000]
compiler-rt: white space changes that caused compiler warning
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 11 May 2017 07:25:08 +0000]
harness: removing PCI domain from modules list of ARMv8
Currently, PCI is broken on ARMv8, it tries to read the PCI config space
by invoking hte iocap, which results in assertions being fired.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Lukas Humbel [Wed, 10 May 2017 14:43:37 +0000]
ARMv8: Remove generic_timer.dev (now in armv8.dev)
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Wed, 10 May 2017 14:04:43 +0000]
ARMv8: Make gic_v3 use new ARMv8 mackerel file
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Wed, 10 May 2017 09:23:50 +0000]
ARMv8: Use generated armv8 mackerel files
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Reto Achermann [Wed, 10 May 2017 05:57:22 +0000]
armv8: adding modules to enable multi-core tests to harness
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Sat, 6 May 2017 14:12:53 +0000]
skate: store source position when parsing a skatefile
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 5 May 2017 17:58:23 +0000]
TN-020: adding some notes on the AST checks
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 5 May 2017 17:32:46 +0000]
TN-020: adding motivational usescases fo Skate
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 5 May 2017 16:32:20 +0000]
TN-020: adding examples for flags/constants/enums
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 5 May 2017 14:43:09 +0000]
Skate: defining varios functions for type handling and code generation
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Simon Gerber [Fri, 5 May 2017 07:50:37 +0000]
harness: tftp test: actually check that we got the file contents we expect
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Fri, 5 May 2017 07:50:20 +0000]
harness: test base class: check for finish string not only at start of line
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Moritz Hoffmann [Fri, 5 May 2017 08:42:04 +0000]
lib/gmp: Remove from tree
Eclipse has an optional dependency on gmp to provide its `big` data
type. However, none of Barerlfish's Eclipse programs make use of that
type. This patch removes support of gmp from the source tree as it is
hard to maintain and not used by any other program or library.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Reto Achermann [Fri, 5 May 2017 07:53:28 +0000]
removing tools/sockeye -> transition to skate
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 5 May 2017 07:50:47 +0000]
datagatherer: remove generated dependeicy
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 5 May 2017 07:39:45 +0000]
removing references to old lib machinemodel
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 5 May 2017 07:38:50 +0000]
schema/acpi: making the MADT schema definition compile with the new parser
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 5 May 2017 07:38:02 +0000]
skate: adding more error messages to the parser
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 5 May 2017 07:37:26 +0000]
skate: adding ACPI MADt schema
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Roni Häcki [Fri, 5 May 2017 07:31:20 +0000]
harness: fixed tfpt test
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Reto Achermann [Fri, 5 May 2017 07:03:26 +0000]
skate: adding optional arch argument
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 5 May 2017 07:02:33 +0000]
moving lib/machinemodel to schemas directory
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 5 May 2017 07:01:18 +0000]
hake: integration of skate into the build system
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 4 May 2017 19:06:58 +0000]
skate: adding struct definitions for the facts
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 4 May 2017 18:46:10 +0000]
skate: implementation of C header for enums and constants
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 4 May 2017 15:47:29 +0000]
skate: initial parts fo the C header backend
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Simon Gerber [Thu, 4 May 2017 12:11:35 +0000]
Add simple tftp client test
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Reto Achermann [Thu, 4 May 2017 12:05:54 +0000]
skate: extend parser to support fully qualified names
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 4 May 2017 12:05:22 +0000]
skate: implementation of basic checks on declrations
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 4 May 2017 12:04:42 +0000]
skate: implementation of declaration table
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Simon Gerber [Thu, 4 May 2017 09:26:46 +0000]
harness: Delete tests/tftp.py which is copied tests/webserver.py
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Reto Achermann [Wed, 3 May 2017 19:40:52 +0000]
Skate: implement check for type table
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 3 May 2017 15:14:39 +0000]
skate: starting the typetable and adding comments.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Roni Häcki [Wed, 3 May 2017 14:41:11 +0000]
networking: interface raw define batch size for adding rx descriptors
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Wed, 3 May 2017 14:39:36 +0000]
devq: idc backend better way of handling failed notify
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Wed, 3 May 2017 12:48:34 +0000]
devq: small changes to idc/debug backend
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Wed, 3 May 2017 12:47:42 +0000]
networking: added notify in interface raw
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Gerd Zellweger [Wed, 3 May 2017 09:43:25 +0000]
Removed if/octopus_defs.h from public header file.
Referenced in definitions.h and trigger.h.
trigger.h is problematic because it provides helper functions for
types definied in the interface. Clients that want to use trigger.h
now have to make sure to include the interface file.
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Gerd Zellweger [Wed, 3 May 2017 09:42:28 +0000]
Fix skb_snprintf uint64 parsing for the Pandaboard.
Make sure we parse 8 bytes instead of 4.
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Simon Gerber [Tue, 2 May 2017 15:32:05 +0000]
capops: add some more DEBUG_CAPOPS in delete code
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Simon Gerber [Tue, 2 May 2017 15:30:22 +0000]
T245: capops: fix distributed delete
Fix distributed delete for the case where the cap to delete is already locked
when we enter capops_delete(). In that case we need to actually continue the
delete and queue it for retrying rather than returning the error to the
caller.
Closes T245.
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Roni Häcki [Tue, 2 May 2017 15:15:36 +0000]
libnet: benchmarking distinguish between rx/tx dequeue
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
projects / barrelfish / log