Daniel Schwyn [Thu, 1 Jun 2017 14:00:22 +0000]
Integrate sockeye with hake
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 1 Jun 2017 09:25:42 +0000]
Rename sockey2 -> sockeye
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 1 Jun 2017 08:40:39 +0000]
Merge remote-tracking branch 'upstream/skate' into sockeye
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 31 May 2017 14:26:25 +0000]
Do not generate preamble when compiling Sockeye files to Prolog
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 31 May 2017 14:25:29 +0000]
Move Prolog predicates to usr/skb/programs
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 31 May 2017 14:16:23 +0000]
Add Sockeye file for OMAP4460
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 30 May 2017 08:06:03 +0000]
Rename new sockeye binary to sockeye2
Resolves conflicts with old sockeye during build
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 24 May 2017 14:00:54 +0000]
Add first versions of predicates for configuration queries
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 23 May 2017 10:17:21 +0000]
Add predicates to print all origin/target ranges of a node
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 23 May 2017 08:13:44 +0000]
Refactor predicates
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 23 May 2017 08:14:20 +0000]
make net predicate dynamic
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Mon, 22 May 2017 14:43:46 +0000]
Predicates: Use constraints for addresses and backtracking for nodes
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 19 May 2017 15:32:09 +0000]
Start using constraints for decoding net predicates
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 19 May 2017 15:06:04 +0000]
Make sure the @none for null-overlays is treated as an atom
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 19 May 2017 14:55:27 +0000]
Fix translate predicate
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 18 May 2017 22:12:21 +0000]
Fix order in some predicates to make search tree (considerably) smaller
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 18 May 2017 22:11:33 +0000]
Make sure atoms start with lower case
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 18 May 2017 15:44:15 +0000]
decoding net predicates (need to be moved to SKB at some point)
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 18 May 2017 14:01:04 +0000]
First take on Prolog backend
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 18 May 2017 08:06:03 +0000]
Use unlines to print lines
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 17 May 2017 16:05:36 +0000]
Add stub for prolog backend
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 17 May 2017 15:46:49 +0000]
Add option to specify output file
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 17 May 2017 11:53:26 +0000]
Allow '_' in identifiers
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 11 May 2017 16:16:27 +0000]
Improve option handling
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 11 May 2017 15:45:08 +0000]
Add support for plugin in different backends
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 11 May 2017 15:19:28 +0000]
Clean up
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 11 May 2017 15:00:39 +0000]
Add support for multiple destinations in map
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 11 May 2017 14:10:17 +0000]
Add support for ommitting destination address in map
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 11 May 2017 13:58:55 +0000]
Improve error message for failed check
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 11 May 2017 11:49:06 +0000]
Add check for references to undefined nodes
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 11 May 2017 08:50:14 +0000]
Refactor AST
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 11 May 2017 08:00:27 +0000]
Add check for duplicate identifiers
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 10 May 2017 14:01:24 +0000]
Add support for specifying blocks via prefix/length
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 10 May 2017 13:29:22 +0000]
Improve parse error messages for node specs
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 10 May 2017 12:56:41 +0000]
Refactor to match abstract syntax in paper more closely
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 10 May 2017 08:58:28 +0000]
Ensure parser reaches end of file
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 10 May 2017 08:46:00 +0000]
Add support for adding multiple nodes at once with the 'are' keyword
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 9 May 2017 15:43:17 +0000]
Add parser support for overlay. !!Will be parsed but ignored atm!!
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 9 May 2017 15:36:31 +0000]
Add support for omitting accept or translate block
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 9 May 2017 14:18:09 +0000]
Support parsing singleton address blocks
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 9 May 2017 14:09:40 +0000]
Some cleanup
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 9 May 2017 13:51:02 +0000]
Add hakefile
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 9 May 2017 13:48:59 +0000]
Some refactoring in main file
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 9 May 2017 11:38:45 +0000]
Add compiler main function, just runs parser and prints the AST for now
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 9 May 2017 08:00:55 +0000]
Better error message for addresses
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Mon, 8 May 2017 16:49:31 +0000]
Small refactoring
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Mon, 8 May 2017 16:14:30 +0000]
First take at Sockeye Parser
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Mon, 8 May 2017 11:42:57 +0000]
First take on Sockeye AST
Signed-off-by: Daniel Schwyn <schwyda@student.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>
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 [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>
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>
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>
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>
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>
Reto Achermann [Tue, 2 May 2017 14:56:39 +0000]
TN-020: removing some of the old description
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Tue, 2 May 2017 14:50:40 +0000]
TN-020: adding more description to the Skate syntax definition
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Sat, 29 Apr 2017 13:20:04 +0000]
TN-020: reorganizing and more documentation
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 28 Apr 2017 15:46:50 +0000]
skate: adding basic Skate output functions
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 28 Apr 2017 15:46:06 +0000]
skate: remove old header generation
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 28 Apr 2017 15:45:39 +0000]
skate: moving filename check to SkateChecker module
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 28 Apr 2017 15:45:01 +0000]
skate: adding wiki abstract syntax
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 28 Apr 2017 15:44:38 +0000]
skate: adding skate checker module
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 28 Apr 2017 15:43:45 +0000]
TN: adding synbf macro
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 27 Apr 2017 14:45:58 +0000]
skate: initial commit of skate with working parser
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 27 Apr 2017 08:54:21 +0000]
TN-020: adding text and sections to syntax
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 21 Apr 2017 15:16:20 +0000]
TN-020: adding descriptions and placeholders for C mappings
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Fri, 21 Apr 2017 09:33:02 +0000]
TN-020: finishing up syntax, starting with C mapping chapter
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 20 Apr 2017 19:05:48 +0000]
doc/TN-020: adding more description of the syntax
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 20 Apr 2017 15:01:11 +0000]
doc: adding more content to TN-020
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Thu, 20 Apr 2017 14:03:56 +0000]
doc: updating and re-naming documetation 20: sockeye -> skate
Signed-off-by: Reto Achermann <reto.achermann@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>
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>
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>
projects / barrelfish / log