Daniel Schwyn [Mon, 26 Jun 2017 14:22:41 +0000]
Backport OMAP44xx spec changes from page-tables branch
Also rename from omap4460 to omap44xx
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Mon, 19 Jun 2017 09:19:09 +0000]
SKB: Refactor decodingNet modules
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 16 Jun 2017 13:55:37 +0000]
OMAP4460 spec: Fix address mapping for L3_OCM_RAM in L3
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 16 Jun 2017 12:00:59 +0000]
OMAP4460 spec: Fix address mapping for CKGEN_CM1
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 15 Jun 2017 12:10:07 +0000]
Technote: clean up
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 15 Jun 2017 09:21:34 +0000]
Technote: Describe Prolog mapping
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 15 Jun 2017 09:14:52 +0000]
Sockeye: Generate hex addresses for Prolog
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 14 Jun 2017 15:47:53 +0000]
Technote: Fix bibliography
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 14 Jun 2017 15:41:43 +0000]
Technote: Add hake chapter
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 14 Jun 2017 15:22:59 +0000]
Remove test .soc file from Hakefile
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 14 Jun 2017 15:19:43 +0000]
Technote: Clean up
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 14 Jun 2017 15:12:50 +0000]
Technote: Add syntax description
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 14 Jun 2017 14:13:53 +0000]
Separate node IDs by whitespace for 'are' instead of commas
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 13 Jun 2017 13:11:46 +0000]
Merge remote-tracking branch 'upstream/master' into sockeye
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 13 Jun 2017 12:31:24 +0000]
Merge remote-tracking branch 'upstream/master' into sockeye
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 13 Jun 2017 08:16:20 +0000]
Remove naive decoding net implementation
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 13 Jun 2017 08:04:14 +0000]
Remove omap4460_paper.soc
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Mon, 12 Jun 2017 14:44:36 +0000]
Add section about checks to technote
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Mon, 12 Jun 2017 13:57:14 +0000]
Start writing technote
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Mon, 12 Jun 2017 08:44:15 +0000]
Fix CORTEXA9 -> L3 mapping
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Mon, 12 Jun 2017 08:44:33 +0000]
Refactor decoding net skb programs
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Mon, 12 Jun 2017 08:01:53 +0000]
Add CORTEXA9 node to OMAP spec
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Mon, 12 Jun 2017 08:01:34 +0000]
Make Sockeye case sensitive again
Prolog backend does not map node IDs to lowercase anymore (uses quotes anyway)
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 9 Jun 2017 15:35:19 +0000]
Add device name finder query
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 9 Jun 2017 15:35:03 +0000]
Add power/clock management details to OMAP specs
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 9 Jun 2017 13:00:19 +0000]
First take on complete OMAP4460 specs
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 9 Jun 2017 12:49:14 +0000]
Use device type for device frame query
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 9 Jun 2017 12:48:45 +0000]
Ensure all node identifers are compiled to Prolog atoms
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 9 Jun 2017 08:58:59 +0000]
Improve error message on syntax errors with 'is'/'are'
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 8 Jun 2017 14:33:39 +0000]
Group devices by modules
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 8 Jun 2017 10:58:39 +0000]
OMAP4460 spec with all interconnects
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 8 Jun 2017 07:18:05 +0000]
Make checker case insensitive
Needed for code generation (e.g. Prolog predicates all lower case)
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 8 Jun 2017 07:16:59 +0000]
Add support for '-' in node IDs
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 6 Jun 2017 13:57:02 +0000]
Start more complete spec of OMAP4460
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 2 Jun 2017 11:12:26 +0000]
Use node type for shared memory query
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 2 Jun 2017 09:24:13 +0000]
Add types to node
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
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 [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>
projects / barrelfish / log