barrelfish
3 years agoBackport OMAP44xx spec changes from page-tables branch
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>

3 years agoSKB: Refactor decodingNet modules
Daniel Schwyn [Mon, 19 Jun 2017 09:19:09 +0000]
SKB: Refactor decodingNet modules

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoOMAP4460 spec: Fix address mapping for L3_OCM_RAM in L3
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>

3 years agoOMAP4460 spec: Fix address mapping for CKGEN_CM1
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>

3 years agoTechnote: clean up
Daniel Schwyn [Thu, 15 Jun 2017 12:10:07 +0000]
Technote: clean up

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoTechnote: Describe Prolog mapping
Daniel Schwyn [Thu, 15 Jun 2017 09:21:34 +0000]
Technote: Describe Prolog mapping

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoSockeye: Generate hex addresses for Prolog
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>

3 years agoTechnote: Fix bibliography
Daniel Schwyn [Wed, 14 Jun 2017 15:47:53 +0000]
Technote: Fix bibliography

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoTechnote: Add hake chapter
Daniel Schwyn [Wed, 14 Jun 2017 15:41:43 +0000]
Technote: Add hake chapter

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoRemove test .soc file from Hakefile
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>

3 years agoTechnote: Clean up
Daniel Schwyn [Wed, 14 Jun 2017 15:19:43 +0000]
Technote: Clean up

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoTechnote: Add syntax description
Daniel Schwyn [Wed, 14 Jun 2017 15:12:50 +0000]
Technote: Add syntax description

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoSeparate node IDs by whitespace for 'are' instead of commas
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>

3 years agoMerge remote-tracking branch 'upstream/master' into sockeye
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>

3 years agoMerge remote-tracking branch 'upstream/master' into sockeye
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>

3 years agoRemove naive decoding net implementation
Daniel Schwyn [Tue, 13 Jun 2017 08:16:20 +0000]
Remove naive decoding net implementation

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoRemove omap4460_paper.soc
Daniel Schwyn [Tue, 13 Jun 2017 08:04:14 +0000]
Remove omap4460_paper.soc

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoAdd section about checks to technote
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>

3 years agoStart writing technote
Daniel Schwyn [Mon, 12 Jun 2017 13:57:14 +0000]
Start writing technote

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoFix CORTEXA9 -> L3 mapping
Daniel Schwyn [Mon, 12 Jun 2017 08:44:15 +0000]
Fix CORTEXA9 -> L3 mapping

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoRefactor decoding net skb programs
Daniel Schwyn [Mon, 12 Jun 2017 08:44:33 +0000]
Refactor decoding net skb programs

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoAdd CORTEXA9 node to OMAP spec
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>

3 years agoMake Sockeye case sensitive again
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>

3 years agoAdd device name finder query
Daniel Schwyn [Fri, 9 Jun 2017 15:35:19 +0000]
Add device name finder query

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoAdd power/clock management details to OMAP specs
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>

3 years agoFirst take on complete OMAP4460 specs
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>

3 years agoUse device type for device frame query
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>

3 years agoEnsure all node identifers are compiled to Prolog atoms
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>

3 years agoImprove error message on syntax errors with 'is'/'are'
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>

3 years agoGroup devices by modules
Daniel Schwyn [Thu, 8 Jun 2017 14:33:39 +0000]
Group devices by modules

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoOMAP4460 spec with all interconnects
Daniel Schwyn [Thu, 8 Jun 2017 10:58:39 +0000]
OMAP4460 spec with all interconnects

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoMake checker case insensitive
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>

3 years agoAdd support for '-' in node IDs
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>

3 years agoStart more complete spec of OMAP4460
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>

3 years agoUse node type for shared memory query
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>

3 years agoAdd types to node
Daniel Schwyn [Fri, 2 Jun 2017 09:24:13 +0000]
Add types to node

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoIntegrate sockeye with hake
Daniel Schwyn [Thu, 1 Jun 2017 14:00:22 +0000]
Integrate sockeye with hake

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoRename sockey2 -> sockeye
Daniel Schwyn [Thu, 1 Jun 2017 09:25:42 +0000]
Rename sockey2 -> sockeye

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoMerge remote-tracking branch 'upstream/skate' into sockeye
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>

3 years agoDo not generate preamble when compiling Sockeye files to Prolog
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>

3 years agoMove Prolog predicates to usr/skb/programs
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>

3 years agoAdd Sockeye file for OMAP4460
Daniel Schwyn [Wed, 31 May 2017 14:16:23 +0000]
Add Sockeye file for OMAP4460

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoRename new sockeye binary to sockeye2
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>

3 years agoAdd first versions of predicates for configuration queries
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>

3 years agoAdd predicates to print all origin/target ranges of a node
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>

3 years agoRefactor predicates
Daniel Schwyn [Tue, 23 May 2017 08:13:44 +0000]
Refactor predicates

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agomake net predicate dynamic
Daniel Schwyn [Tue, 23 May 2017 08:14:20 +0000]
make net predicate dynamic

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoPredicates: Use constraints for addresses and backtracking for nodes
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>

3 years agoStart using constraints for decoding net predicates
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>

3 years agoMake sure the @none for null-overlays is treated as an atom
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>

3 years agoFix translate predicate
Daniel Schwyn [Fri, 19 May 2017 14:55:27 +0000]
Fix translate predicate

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoFix order in some predicates to make search tree (considerably) smaller
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>

3 years agoMake sure atoms start with lower case
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>

3 years agodecoding net predicates (need to be moved to SKB at some point)
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>

3 years agoFirst take on Prolog backend
Daniel Schwyn [Thu, 18 May 2017 14:01:04 +0000]
First take on Prolog backend

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoUse unlines to print lines
Daniel Schwyn [Thu, 18 May 2017 08:06:03 +0000]
Use unlines to print lines

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoAdd stub for prolog backend
Daniel Schwyn [Wed, 17 May 2017 16:05:36 +0000]
Add stub for prolog backend

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoAdd option to specify output file
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>

3 years agoAllow '_' in identifiers
Daniel Schwyn [Wed, 17 May 2017 11:53:26 +0000]
Allow '_' in identifiers

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoImprove option handling
Daniel Schwyn [Thu, 11 May 2017 16:16:27 +0000]
Improve option handling

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoAdd support for plugin in different backends
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>

3 years agoClean up
Daniel Schwyn [Thu, 11 May 2017 15:19:28 +0000]
Clean up

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoAdd support for multiple destinations in map
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>

3 years agoAdd support for ommitting destination address in map
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>

3 years agoImprove error message for failed check
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>

3 years agoAdd check for references to undefined nodes
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>

3 years agoRefactor AST
Daniel Schwyn [Thu, 11 May 2017 08:50:14 +0000]
Refactor AST

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoAdd check for duplicate identifiers
Daniel Schwyn [Thu, 11 May 2017 08:00:27 +0000]
Add check for duplicate identifiers

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoAdd support for specifying blocks via prefix/length
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>

3 years agoImprove parse error messages for node specs
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>

3 years agoRefactor to match abstract syntax in paper more closely
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>

3 years agoEnsure parser reaches end of file
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>

3 years agoAdd support for adding multiple nodes at once with the 'are' keyword
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>

3 years agoAdd parser support for overlay. !!Will be parsed but ignored atm!!
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>

3 years agoAdd support for omitting accept or translate block
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>

3 years agoSupport parsing singleton address blocks
Daniel Schwyn [Tue, 9 May 2017 14:18:09 +0000]
Support parsing singleton address blocks

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoSome cleanup
Daniel Schwyn [Tue, 9 May 2017 14:09:40 +0000]
Some cleanup

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoAdd hakefile
Daniel Schwyn [Tue, 9 May 2017 13:51:02 +0000]
Add hakefile

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoSome refactoring in main file
Daniel Schwyn [Tue, 9 May 2017 13:48:59 +0000]
Some refactoring in main file

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoAdd compiler main function, just runs parser and prints the AST for now
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>

3 years agoBetter error message for addresses
Daniel Schwyn [Tue, 9 May 2017 08:00:55 +0000]
Better error message for addresses

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoSmall refactoring
Daniel Schwyn [Mon, 8 May 2017 16:49:31 +0000]
Small refactoring

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoFirst take at Sockeye Parser
Daniel Schwyn [Mon, 8 May 2017 16:14:30 +0000]
First take at Sockeye Parser

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

3 years agoFirst take on Sockeye AST
Daniel Schwyn [Mon, 8 May 2017 11:42:57 +0000]
First take on Sockeye AST

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

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>