barrelfish
2017-06-26 Daniel SchwynBackport OMAP44xx spec changes from page-tables branch
2017-06-19 Daniel SchwynSKB: Refactor decodingNet modules
2017-06-16 Daniel SchwynOMAP4460 spec: Fix address mapping for L3_OCM_RAM in L3
2017-06-16 Daniel SchwynOMAP4460 spec: Fix address mapping for CKGEN_CM1
2017-06-15 Daniel SchwynTechnote: clean up
2017-06-15 Daniel SchwynTechnote: Describe Prolog mapping
2017-06-15 Daniel SchwynSockeye: Generate hex addresses for Prolog
2017-06-15 Daniel SchwynTechnote: Fix bibliography
2017-06-15 Daniel SchwynTechnote: Add hake chapter
2017-06-15 Daniel SchwynRemove test .soc file from Hakefile
2017-06-15 Daniel SchwynTechnote: Clean up
2017-06-15 Daniel SchwynTechnote: Add syntax description
2017-06-15 Daniel SchwynSeparate node IDs by whitespace for 'are' instead of...
2017-06-13 Daniel SchwynMerge remote-tracking branch 'upstream/master' into...
2017-06-13 Daniel SchwynMerge remote-tracking branch 'upstream/master' into...
2017-06-13 Daniel SchwynRemove naive decoding net implementation
2017-06-13 Daniel SchwynRemove omap4460_paper.soc
2017-06-13 Daniel SchwynAdd section about checks to technote
2017-06-13 Daniel SchwynStart writing technote
2017-06-13 Daniel SchwynFix CORTEXA9 -> L3 mapping
2017-06-13 Daniel SchwynRefactor decoding net skb programs
2017-06-13 Daniel SchwynAdd CORTEXA9 node to OMAP spec
2017-06-13 Daniel SchwynMake Sockeye case sensitive again
2017-06-13 Daniel SchwynAdd device name finder query
2017-06-13 Daniel SchwynAdd power/clock management details to OMAP specs
2017-06-13 Daniel SchwynFirst take on complete OMAP4460 specs
2017-06-13 Daniel SchwynUse device type for device frame query
2017-06-13 Daniel SchwynEnsure all node identifers are compiled to Prolog atoms
2017-06-13 Daniel SchwynImprove error message on syntax errors with 'is'/'are'
2017-06-13 Daniel SchwynGroup devices by modules
2017-06-13 Daniel SchwynOMAP4460 spec with all interconnects
2017-06-13 Daniel SchwynMake checker case insensitive
2017-06-13 Daniel SchwynAdd support for '-' in node IDs
2017-06-13 Daniel SchwynStart more complete spec of OMAP4460
2017-06-13 Daniel SchwynUse node type for shared memory query
2017-06-13 Daniel SchwynAdd types to node
2017-06-13 Daniel SchwynIntegrate sockeye with hake
2017-06-13 Daniel SchwynRename sockey2 -> sockeye
2017-06-13 Daniel SchwynMerge remote-tracking branch 'upstream/skate' into...
2017-06-13 Daniel SchwynDo not generate preamble when compiling Sockeye files...
2017-06-13 Daniel SchwynMove Prolog predicates to usr/skb/programs
2017-06-13 Daniel SchwynAdd Sockeye file for OMAP4460
2017-06-13 Daniel SchwynRename new sockeye binary to sockeye2
2017-06-13 Daniel SchwynAdd first versions of predicates for configuration...
2017-06-13 Daniel SchwynAdd predicates to print all origin/target ranges of...
2017-06-13 Daniel SchwynRefactor predicates
2017-06-13 Daniel Schwynmake net predicate dynamic
2017-06-13 Daniel SchwynPredicates: Use constraints for addresses and backtrack...
2017-06-13 Daniel SchwynStart using constraints for decoding net predicates
2017-06-13 Daniel SchwynMake sure the @none for null-overlays is treated as...
2017-06-13 Daniel SchwynFix translate predicate
2017-06-13 Daniel SchwynFix order in some predicates to make search tree (consi...
2017-06-13 Daniel SchwynMake sure atoms start with lower case
2017-06-13 Daniel Schwyndecoding net predicates (need to be moved to SKB at...
2017-06-13 Daniel SchwynFirst take on Prolog backend
2017-06-13 Daniel SchwynUse unlines to print lines
2017-06-13 Daniel SchwynAdd stub for prolog backend
2017-06-13 Daniel SchwynAdd option to specify output file
2017-06-13 Daniel SchwynAllow '_' in identifiers
2017-06-13 Daniel SchwynImprove option handling
2017-06-13 Daniel SchwynAdd support for plugin in different backends
2017-06-13 Daniel SchwynClean up
2017-06-13 Daniel SchwynAdd support for multiple destinations in map
2017-06-13 Daniel SchwynAdd support for ommitting destination address in map
2017-06-13 Daniel SchwynImprove error message for failed check
2017-06-13 Daniel SchwynAdd check for references to undefined nodes
2017-06-13 Daniel SchwynRefactor AST
2017-06-13 Daniel SchwynAdd check for duplicate identifiers
2017-06-13 Daniel SchwynAdd support for specifying blocks via prefix/length
2017-06-13 Daniel SchwynImprove parse error messages for node specs
2017-06-13 Daniel SchwynRefactor to match abstract syntax in paper more closely
2017-06-13 Daniel SchwynEnsure parser reaches end of file
2017-06-13 Daniel SchwynAdd support for adding multiple nodes at once with...
2017-06-13 Daniel SchwynAdd parser support for overlay. !!Will be parsed but...
2017-06-13 Daniel SchwynAdd support for omitting accept or translate block
2017-06-13 Daniel SchwynSupport parsing singleton address blocks
2017-06-13 Daniel SchwynSome cleanup
2017-06-13 Daniel SchwynAdd hakefile
2017-06-13 Daniel SchwynSome refactoring in main file
2017-06-13 Daniel SchwynAdd compiler main function, just runs parser and prints...
2017-06-13 Daniel SchwynBetter error message for addresses
2017-06-13 Daniel SchwynSmall refactoring
2017-06-13 Daniel SchwynFirst take at Sockeye Parser
2017-06-13 Daniel SchwynFirst take on Sockeye AST
2017-06-13 Reto Achermannskate: use architecture instead of arch family
2017-06-13 Reto AchermannMerge branch 'skate'
2017-06-13 Reto AchermannTN-020: adding a remark regarding case sensitivity
2017-06-07 Adam Turowskidevif: e1000 backend initial version
2017-06-06 Adam Turowskipci library: adding a user state pointer
2017-06-02 Simon Gerberdoc: tn04: update vm technote to match recent implement...
2017-06-02 Simon Gerbertests: fix skb cap storage test to use %PRIuGENPADDR...
2017-06-02 Simon Gerberkernel: caps_lookup_slot: fix edgecase for l1 index...
2017-06-02 Simon Gerberdoc: tn13: add invocations on VNode and some minor...
2017-06-02 Simon Gerberdoc: tn13: more updates to ch6
2017-06-02 Simon Gerberdoc: tn13: Reword hybrid solution section
2017-06-02 Simon Gerberdoc: tn13: Add section on Mark's hybrid operations...
2017-06-02 Simon Gerberdoc: tn13: Add section on implementation of cap database
2017-06-02 Simon Gerberdoc: tn13: Update wording for frame/devframe ondelete()
2017-06-02 Simon Gerberdoc: tn13: add mapping capability to types
2017-06-02 Simon Gerberdoc: tn13: fix comment in hakefile
next