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>
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 [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>
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>
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>
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>
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>
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>
Roni Häcki [Tue, 2 May 2017 14:06:16 +0000]
devq: idc backend remove notification from enqueue
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Tue, 2 May 2017 11:53:01 +0000]
devq: changed debugging queue test
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Tue, 2 May 2017 11:52:00 +0000]
devq: debug backend added more functionality
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Fri, 28 Apr 2017 13:28:14 +0000]
devq: idc backend handling failure of deregister rpc
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Fri, 28 Apr 2017 12:21:19 +0000]
harness: extended devif test
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Fri, 28 Apr 2017 08:39:05 +0000]
devq: test for debugging backend
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Fri, 28 Apr 2017 08:35:40 +0000]
devq: stackable debugging backend for checking buffer properties
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Fri, 28 Apr 2017 08:34:10 +0000]
devq: idc backend fixed debug mode compilation
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Mon, 24 Apr 2017 08:28:07 +0000]
libnet: benchmark mode only count dequeues that do not fail
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Fri, 21 Apr 2017 13:47:24 +0000]
libnet: udp ping adapted to also work with interrupts
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Fri, 21 Apr 2017 13:46:20 +0000]
e10k: legacy interrupts working with new network stack
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Gerd Zellweger [Fri, 21 Apr 2017 08:15:20 +0000]
Fix some dependency that fail the build.
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Roni Häcki [Fri, 21 Apr 2017 07:56:29 +0000]
skb: revert core hint of drivers to core 0
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Fri, 21 Apr 2017 07:56:02 +0000]
solarflare: fixed polling mode to not raise additional interrupts
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Thu, 20 Apr 2017 15:29:18 +0000]
solarflare: call networking_poll in polling mode
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Thu, 20 Apr 2017 15:24:30 +0000]
libnet: adding hardware filter for udp ping test
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Gerd Zellweger [Thu, 20 Apr 2017 15:14:47 +0000]
Added a test to check the SKB capability storage functionality.
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Gerd Zellweger [Thu, 20 Apr 2017 15:13:25 +0000]
Added functionality in libskb to store and retrieve caps.
This uses a custom scanf and snprintf implementation
that has an additional format specifier (%Q) to
transparently load and store caps from and in the SKB.
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Gerd Zellweger [Thu, 20 Apr 2017 15:10:09 +0000]
Add functionality to store caps with unique IDs.
This is similar to set_sequential in octopus that
allows to have unique record names generated by
the server.
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Roni Häcki [Thu, 20 Apr 2017 11:48:09 +0000]
e10k: fixed adding filter bug
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Thu, 20 Apr 2017 11:44:47 +0000]
e10k: enabling requesting default queue
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Reto Achermann [Thu, 20 Apr 2017 09:18:27 +0000]
net_if_raw: don't assume hardware queues on k1om
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Roni Häcki [Thu, 20 Apr 2017 08:05:58 +0000]
e10k: driver working using legacy descriptors
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Reto Achermann [Thu, 20 Apr 2017 08:01:46 +0000]
libnetif_raw: adding k1om to build architectures
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 20 Apr 2017 07:27:26 +0000]
e1000: adding octopus flounder defs to fix dependency issue
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Simon Gerber [Tue, 18 Apr 2017 14:17:34 +0000]
Merge Github PR#5. Add missing error check in frame_identify()
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Lukas Humbel [Tue, 18 Apr 2017 09:01:04 +0000]
ARMv8: Correct timer calls.
Timer interrupts trigger now reasonably often (each 80ms)
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Tue, 18 Apr 2017 08:59:00 +0000]
ARMv8: Store status register on interrupt
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Roni Häcki [Tue, 18 Apr 2017 07:35:02 +0000]
netlib: integrated e10k device queue including hardware filters
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Lukas Humbel [Thu, 13 Apr 2017 11:53:43 +0000]
ARMv8: Disable GICv2 FIQ bypass interrupt
On the X-Gene, it will constantly trigger interrupt 28 otherwise.
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Wed, 12 Apr 2017 17:24:08 +0000]
ARMv8: Give correct name to GIC files
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Wed, 12 Apr 2017 17:05:46 +0000]
ARMv8: Make GIC400 work. Timer interrupts work.
GIC400 is in fact a GICv2, files need to be renamed. It is found
for instance on the X-Gene Mustang.
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Lukas Humbel [Wed, 12 Apr 2017 13:36:53 +0000]
ARMv8: On fatal_kernel_fault print causing vector
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
Reto Achermann [Thu, 13 Apr 2017 08:10:36 +0000]
ACPI: towards handling all MADT table entries
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Roni Häcki [Wed, 12 Apr 2017 13:09:50 +0000]
netlib: better integration of harware filtering
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Reto Achermann [Wed, 12 Apr 2017 09:10:49 +0000]
libnet: moving net.h to public include.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Wed, 12 Apr 2017 07:21:11 +0000]
libnet: don't install arp cache entries for IP 0.0.0.0
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 11 Apr 2017 18:52:09 +0000]
lwip-2.0.2: updating LWIP options
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 11 Apr 2017 18:51:16 +0000]
libnet: integrating arp service to library and adding test domains
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 11 Apr 2017 15:36:32 +0000]
lwip-2.0.2: enable static ARP entries
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 11 Apr 2017 15:36:02 +0000]
libnet: adding functionality to publish/subscribe to ARPs
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Roni Häcki [Tue, 11 Apr 2017 15:20:38 +0000]
solarflare: removed old management interface code
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Tue, 11 Apr 2017 14:59:06 +0000]
solarflare: init queue 0 in driver
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Reto Achermann [Tue, 11 Apr 2017 08:00:59 +0000]
sfn5122f: fixing compilation after merge
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 11 Apr 2017 07:51:10 +0000]
sfn5122f: implement local rpc handlers
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 11 Apr 2017 07:46:20 +0000]
libnet: don't do DHCP by default
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 11 Apr 2017 07:41:18 +0000]
libnet: bugfixes in dhcp module
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Roni Häcki [Mon, 10 Apr 2017 13:08:33 +0000]
solaflare: driver removing old filter code
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Mon, 10 Apr 2017 13:07:01 +0000]
platforms hakefile fixed trailing comma
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Roni Häcki [Mon, 10 Apr 2017 12:39:55 +0000]
libnet: implemented adding/removing hardware filters from solarflare card
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
Reto Achermann [Mon, 10 Apr 2017 09:44:16 +0000]
libnet: refactor initialization functions to take a state pointer
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Mon, 10 Apr 2017 09:27:47 +0000]
libnet: rename the polling flag
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Mon, 10 Apr 2017 09:27:02 +0000]
libnet: ensure DHCP timeout is checked in polling mode
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Mon, 10 Apr 2017 08:55:46 +0000]
solarflare: only start if the supplied arguments are valid
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Mon, 10 Apr 2017 08:53:16 +0000]
libnet: remove unneeded test code for the lwip stack
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Mon, 10 Apr 2017 08:52:19 +0000]
devif: adding control message to the solarflare interface
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 7 Apr 2017 14:48:47 +0000]
devicedb: allowing multiple instances of SFN and e10k
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
projects / barrelfish / log