barrelfish
3 years agoincreasing boot timeout for the big ARM machine release2017-07-26
Reto Achermann [Wed, 26 Jul 2017 06:54:57 +0000]
increasing boot timeout for the big ARM machine

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

3 years agoharness: increasing timeout for the mt_waitset test, to avoid timeout on armv8 machines
Reto Achermann [Tue, 25 Jul 2017 10:29:19 +0000]
harness: increasing timeout for the mt_waitset test, to avoid timeout on armv8 machines

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

3 years agonet,e1000: fixing interrupt handling
Adam Turowski [Tue, 25 Jul 2017 09:40:59 +0000]
net,e1000: fixing interrupt handling

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agoarmv8: actually use 64-bit values to store initial registers
Reto Achermann [Tue, 25 Jul 2017 09:16:37 +0000]
armv8: actually use 64-bit values to store initial registers

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

3 years agoarmv8: do not set all_spawnds_up by default on ARMv8
Reto Achermann [Tue, 25 Jul 2017 07:19:32 +0000]
armv8: do not set all_spawnds_up by default on ARMv8

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

3 years agoarmv8: fix compilation for lrpc benchmark
Reto Achermann [Mon, 24 Jul 2017 14:32:28 +0000]
armv8: fix compilation for lrpc benchmark

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

3 years agoharness: checking the right condition for the xeon phi test
Reto Achermann [Mon, 24 Jul 2017 08:21:36 +0000]
harness: checking the right condition for the xeon phi test

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

3 years agoflounder: sending the right bind/bind-reply message types
Reto Achermann [Mon, 24 Jul 2017 08:20:52 +0000]
flounder: sending the right bind/bind-reply message types

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

3 years agoxeon_phi: fix compilation with full debug enabled
Reto Achermann [Sun, 23 Jul 2017 20:29:03 +0000]
xeon_phi: fix compilation with full debug enabled

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

3 years agok1om: fixing initialization of apic timer interrupts
Reto Achermann [Sun, 23 Jul 2017 20:25:25 +0000]
k1om: fixing initialization of apic timer interrupts

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

3 years agoK1OM: fixing patch to change the elf type for CPU driver
Reto Achermann [Sun, 23 Jul 2017 18:08:21 +0000]
K1OM: fixing patch to change the elf type for CPU driver

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

3 years agoweever: differentiate error values from elfload
Reto Achermann [Sun, 23 Jul 2017 14:54:10 +0000]
weever: differentiate error values from elfload

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

3 years agoharness: adding netsockets server to xeon phi test
Reto Achermann [Sun, 23 Jul 2017 14:25:15 +0000]
harness: adding netsockets server to xeon phi test

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

3 years agocdefs: do not use __nonnull function argument attribute
Reto Achermann [Sun, 23 Jul 2017 07:03:11 +0000]
cdefs: do not use __nonnull function argument attribute

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

3 years agosolarflare: adding missing flounder defs to hakefile
Reto Achermann [Sun, 23 Jul 2017 07:02:17 +0000]
solarflare: adding missing flounder defs to hakefile

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

3 years agooctopus: remove include to flounder file in public include
Reto Achermann [Sat, 22 Jul 2017 15:30:28 +0000]
octopus: remove include to flounder file in public include

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

3 years agoarmv8: fixing menu.lst files and adding bootdriver to the platforms
Reto Achermann [Sat, 22 Jul 2017 15:28:56 +0000]
armv8: fixing menu.lst files and adding bootdriver to the platforms

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

3 years agonet,loopback: small fix
Adam Turowski [Fri, 14 Jul 2017 13:52:04 +0000]
net,loopback: small fix

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agonet: adding a loopback interface
Adam Turowski [Fri, 14 Jul 2017 11:40:08 +0000]
net: adding a loopback interface

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agoMerge branch 'bsdlibc'
Adam Turowski [Tue, 11 Jul 2017 13:27:38 +0000]
Merge branch 'bsdlibc'

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agoRemoving ssh
Adam Turowski [Tue, 11 Jul 2017 10:23:32 +0000]
Removing ssh

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agoFixing compilation issues on x86_64 and armv8
Adam Turowski [Tue, 11 Jul 2017 10:12:59 +0000]
Fixing compilation issues on x86_64 and armv8

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agoFix platform file.
Gerd Zellweger [Tue, 11 Jul 2017 09:52:35 +0000]
Fix platform file.

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

3 years agoRemove debug print in waitset.c
Gerd Zellweger [Tue, 11 Jul 2017 09:12:00 +0000]
Remove debug print in waitset.c

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

3 years agohake: removing an unknown warning option from the x86_64 target
Adam Turowski [Tue, 11 Jul 2017 09:02:54 +0000]
hake: removing an unknown warning option from the x86_64 target
harness: do an actual read in the webserver stress test

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agonet: adding command-line IP configuration options
Adam Turowski [Tue, 11 Jul 2017 08:29:40 +0000]
net: adding command-line IP configuration options

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agonet_sockets: some TCP fixups
Adam Turowski [Mon, 10 Jul 2017 15:18:51 +0000]
net_sockets: some TCP fixups

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agoChange the pandaboard drivers to new driver format.
Gerd Zellweger [Fri, 7 Jul 2017 15:19:30 +0000]
Change the pandaboard drivers to new driver format.

This includes major refactoring in Kaluga, SDMA, MMCHS, FDIF drivers
along with the addition of new drivers such as cm2, twl6030 etc.

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

3 years agoharness: adjusting http tests to a new network stack
Adam Turowski [Thu, 6 Jul 2017 12:11:12 +0000]
harness: adjusting http tests to a new network stack

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agotftpclient: converting to net sockets
Adam Turowski [Thu, 6 Jul 2017 09:20:28 +0000]
tftpclient: converting to net sockets
net_sockets: adding local/remote addresses/ports to the net_socket structure
net,dhcp: adding a possibility of setting of static IP

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agonet: enabling DHCP
Adam Turowski [Tue, 4 Jul 2017 09:56:36 +0000]
net: enabling DHCP

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agoharness: changing tests to net sockets
Adam Turowski [Mon, 3 Jul 2017 15:12:03 +0000]
harness: changing tests to net sockets

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agonet_sockets: e1000 server
Adam Turowski [Mon, 26 Jun 2017 13:51:00 +0000]
net_sockets: e1000 server

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agonet: converting lwip types to bsd types
Adam Turowski [Mon, 26 Jun 2017 09:23:01 +0000]
net: converting lwip types to bsd types

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agonet_sockets: converting nfs
Adam Turowski [Wed, 7 Jun 2017 10:54:18 +0000]
net_sockets: converting nfs

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agoKaluga modifications to start domain.
Gerd Zellweger [Mon, 3 Jul 2017 09:38:38 +0000]
Kaluga modifications to start domain.

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

3 years agok1om: some fix-ups
Adam Turowski [Fri, 30 Jun 2017 15:05:19 +0000]
k1om: some fix-ups

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agoCommit SDMA driver changes.
Gerd Zellweger [Tue, 27 Jun 2017 11:20:05 +0000]
Commit SDMA driver changes.

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

3 years agocompiler-rt: removing an arm abi override, defaulting to compiler's
Adam Turowski [Fri, 23 Jun 2017 10:32:31 +0000]
compiler-rt: removing an arm abi override, defaulting to compiler's

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agodevif_test: fixing e10k queue constructor call
Adam Turowski [Thu, 22 Jun 2017 22:37:47 +0000]
devif_test: fixing e10k queue constructor call
fvp: reverting the fvp path

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agoarmv7: save vfp context (at least part of it)
Adam Turowski [Thu, 22 Jun 2017 14:00:21 +0000]
armv7: save vfp context (at least part of it)

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agoarmv7: moving do_resume from the general arm part (which didn't work for armv8 anyway...
Adam Turowski [Thu, 22 Jun 2017 13:05:18 +0000]
armv7: moving do_resume from the general arm part (which didn't work for armv8 anyway) to the armv7 section

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agorpc_cap_test: adding missing include
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>

3 years agogdtoa: fixing Hakefile
Adam Turowski [Thu, 22 Jun 2017 09:41:33 +0000]
gdtoa: fixing Hakefile

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agoharness: call hake with a proper architecture
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>

3 years agolibc: removing newlib, adding BSD libc
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>

3 years agoskb: switching from dlmalloc to libc malloc
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>

3 years agoplatforms: disabling sshd
Adam Turowski [Thu, 22 Jun 2017 07:09:02 +0000]
platforms: disabling sshd

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agohake: fixing linking order of static libraries by grouping them, removing newlib...
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>

3 years agoarmv7: enabling VFP
Adam Turowski [Wed, 21 Jun 2017 14:48:20 +0000]
armv7: enabling VFP

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agonuma: changing PRI macros to SCN in a scanf-alike call
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>

3 years agoschemas: converting 'right single quotation mark' to normal apostrophe
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>

3 years agospawn: fixing creation of an environment, empty string could be insterted on non-x86
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>

3 years agoFix dependencies for mmchs driver.
Gerd Zellweger [Mon, 19 Jun 2017 09:24:16 +0000]
Fix dependencies for mmchs driver.

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

3 years agoConvert mmchs to new driver interface.
Gerd Zellweger [Thu, 15 Jun 2017 15:42:13 +0000]
Convert mmchs to new driver interface.

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

3 years agofixing build for the documentation
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>

3 years agoarmv8: fixing misaligned page-table in bootdriver
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>

3 years agoPass cap correct in driver domain to fdif instance.
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>

3 years agoCheck-in older changes from FDIF conversion.
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>

3 years agoskate: use architecture instead of arch family
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>

3 years agoMerge branch 'skate'
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>

3 years agoTN-020: adding a remark regarding case sensitivity
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>

3 years agodevif: e1000 backend initial version
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>

3 years agopci library: adding a user state pointer
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>

3 years agodoc: tn04: update vm technote to match recent implementation changes
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>

3 years agotests: fix skb cap storage test to use %PRIuGENPADDR instead of %zu
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>

3 years agokernel: caps_lookup_slot: fix edgecase for l1 index out of range
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>

3 years agodoc: tn13: add invocations on VNode and some minor changes
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>

3 years agodoc: tn13: more updates to ch6
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>

3 years agodoc: tn13: Reword hybrid solution section
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>

3 years agodoc: tn13: Add section on Mark's hybrid operations in ch6
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>

3 years agodoc: tn13: Add section on implementation of cap database
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>

3 years agodoc: tn13: Update wording for frame/devframe ondelete()
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>

3 years agodoc: tn13: add mapping capability to types
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>

3 years agodoc: tn13: fix comment in hakefile
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>

3 years agodoc: tn13: add KCB to cap types
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>

3 years agodoc: tn13: Add one sentence description for all currently available Kernel cap invoca...
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>

3 years agodoc: tn13: update capability type section
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>

3 years agodocumentation: tn13: start updating capmgmt technote
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>

3 years agoConverted Filet-o-Fish Literate Haskell code into a Technical Note
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>

3 years agotests: update L1/L2 CNode creation tests and add harness test
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>

3 years agoharness: distops tests: make sure tests have run when reporting test success
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>

3 years agoharness: cleanup tests to not override is_finished() where possible
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>

3 years agoarmv8: kaluga: remove early oct_set("all_spawnds_up")
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>

3 years agoharness: fix gorgonzola2 machine data
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>

3 years agolwip2: fixing pbuf reallocation and tuning TCP options
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>

3 years agoRemoving Windows newlines.
Adam Turowski [Thu, 1 Jun 2017 11:40:36 +0000]
Removing Windows newlines.

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

3 years agonet/arp and net/dhcp: adding missing includes
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>

3 years agoMerge branch 'lwip-next': new lwip-2 network stack
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>

3 years agoskate: make generated C code compile
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>

3 years agoAdd code generation for functions to add facts to the SKB
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>

3 years agoSmall fix to glossary.
Gerd Zellweger [Tue, 16 May 2017 11:32:43 +0000]
Small fix to glossary.

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

3 years agoUpdate documentation for device drivers.
Gerd Zellweger [Tue, 16 May 2017 11:30:51 +0000]
Update documentation for device drivers.

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

3 years agoExtend glossary with the new driver terminology.
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>

3 years agoAdded template for driver domain and driver module.
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>

3 years agoAdded infrastructure for driver domains, device driver modules and
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>

3 years agoAdd addModules flag to hake.
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>

3 years agoskate: adding generation of fact format string
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>

3 years agocompiler-rt: actually use arch_cFlags and disabling subft3 test on ARMv8
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>

3 years agocompiler-rt: white space changes that caused compiler warning
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>