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

3 years agoharness: removing PCI domain from modules list of ARMv8
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>

3 years agoARMv8: Remove generic_timer.dev (now in armv8.dev)
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>

3 years agoARMv8: Make gic_v3 use new ARMv8 mackerel file
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>

3 years agoARMv8: Use generated armv8 mackerel files
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>

3 years agoarmv8: adding modules to enable multi-core tests to harness
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>

3 years agoskate: store source position when parsing a skatefile
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>

3 years agoTN-020: adding some notes on the AST checks
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>

3 years agoTN-020: adding motivational usescases fo Skate
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>

3 years agoTN-020: adding examples for flags/constants/enums
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>

3 years agoSkate: defining varios functions for type handling and code generation
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>

3 years agoharness: tftp test: actually check that we got the file contents we expect release2017-05-05
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>

3 years agoharness: test base class: check for finish string not only at start of line
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>

3 years agolib/gmp: Remove from tree
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>

3 years agoremoving tools/sockeye -> transition to skate
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>

3 years agodatagatherer: remove generated dependeicy
Reto Achermann [Fri, 5 May 2017 07:50:47 +0000]
datagatherer: remove generated dependeicy

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

3 years agoremoving references to old lib machinemodel
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>

3 years agoschema/acpi: making the MADT schema definition compile with the new parser
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>

3 years agoskate: adding more error messages to the parser
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>

3 years agoskate: adding ACPI MADt schema
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>

3 years agoharness: fixed tfpt test
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>

3 years agoskate: adding optional arch argument
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>

3 years agomoving lib/machinemodel to schemas directory
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>

3 years agohake: integration of skate into the build system
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>

3 years agoskate: adding struct definitions for the facts
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>

3 years agoskate: implementation of C header for enums and constants
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>

3 years agoskate: initial parts fo the C header backend
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>

3 years agoAdd simple tftp client test
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>

3 years agoskate: extend parser to support fully qualified names
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>

3 years agoskate: implementation of basic checks on declrations
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>

3 years agoskate: implementation of declaration table
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>

3 years agoharness: Delete tests/tftp.py which is copied tests/webserver.py
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>