2017-06-20 Adam Turowskischemas: converting 'right single quotation mark' to...
2017-06-19 Adam Turowskispawn: fixing creation of an environment, empty string...
2017-06-19 Gerd ZellwegerFix dependencies for mmchs driver.
2017-06-15 Gerd ZellwegerConvert mmchs to new driver interface.
2017-06-14 Reto Achermannfixing build for the documentation
2017-06-14 Reto Achermannarmv8: fixing misaligned page-table in bootdriver
2017-06-14 Gerd ZellwegerPass cap correct in driver domain to fdif instance.
2017-06-14 Gerd ZellwegerCheck-in older changes from FDIF conversion.
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
2017-06-02 Simon Gerberdoc: tn13: add KCB to cap types
2017-06-02 Simon Gerberdoc: tn13: Add one sentence description for all current...
2017-06-02 Simon Gerberdoc: tn13: update capability type section
2017-06-02 Simon Gerberdocumentation: tn13: start updating capmgmt technote
2017-06-02 Timothy RoscoeConverted Filet-o-Fish Literate Haskell code into a...
2017-06-02 Simon Gerbertests: update L1/L2 CNode creation tests and add harnes...
2017-06-02 Simon Gerberharness: distops tests: make sure tests have run when...
2017-06-02 Simon Gerberharness: cleanup tests to not override is_finished...
2017-06-02 Simon Gerberarmv8: kaluga: remove early oct_set("all_spawnds_up")
2017-06-02 Simon Gerberharness: fix gorgonzola2 machine data
2017-06-01 Adam Turowskilwip2: fixing pbuf reallocation and tuning TCP options
2017-06-01 Adam TurowskiRemoving Windows newlines.
2017-06-01 Adam Turowskinet/arp and net/dhcp: adding missing includes
2017-06-01 Adam TurowskiMerge branch 'lwip-next': new lwip-2 network stack
2017-05-27 Reto Achermannskate: make generated C code compile
2017-05-27 Reto AchermannAdd code generation for functions to add facts to the SKB
2017-05-16 Gerd ZellwegerSmall fix to glossary.
2017-05-16 Gerd ZellwegerUpdate documentation for device drivers.
2017-05-16 Gerd ZellwegerExtend glossary with the new driver terminology.
2017-05-15 Gerd ZellwegerAdded template for driver domain and driver module.
2017-05-15 Gerd ZellwegerAdded infrastructure for driver domains, device driver...
2017-05-15 Gerd ZellwegerAdd addModules flag to hake.
2017-05-14 Reto Achermannskate: adding generation of fact format string
2017-05-11 Reto Achermanncompiler-rt: actually use arch_cFlags and disabling...
2017-05-11 Reto Achermanncompiler-rt: white space changes that caused compiler...
2017-05-11 Reto Achermannharness: removing PCI domain from modules list of ARMv8
2017-05-10 Lukas HumbelARMv8: Remove (now in
2017-05-10 Lukas HumbelARMv8: Make gic_v3 use new ARMv8 mackerel file
2017-05-10 Lukas HumbelARMv8: Use generated armv8 mackerel files
2017-05-10 Reto Achermannarmv8: adding modules to enable multi-core tests to...
2017-05-06 Reto Achermannskate: store source position when parsing a skatefile
2017-05-05 Reto AchermannTN-020: adding some notes on the AST checks
2017-05-05 Reto AchermannTN-020: adding motivational usescases fo Skate
2017-05-05 Reto AchermannTN-020: adding examples for flags/constants/enums
2017-05-05 Reto AchermannSkate: defining varios functions for type handling...
2017-05-05 Simon Gerberharness: tftp test: actually check that we got the... release2017-05-05
2017-05-05 Simon Gerberharness: test base class: check for finish string not...
2017-05-05 Moritz Hoffmannlib/gmp: Remove from tree
2017-05-05 Reto Achermannremoving tools/sockeye -> transition to skate
2017-05-05 Reto Achermanndatagatherer: remove generated dependeicy
2017-05-05 Reto Achermannremoving references to old lib machinemodel
2017-05-05 Reto Achermannschema/acpi: making the MADT schema definition compile...
2017-05-05 Reto Achermannskate: adding more error messages to the parser
2017-05-05 Reto Achermannskate: adding ACPI MADt schema
2017-05-05 Roni Häckiharness: fixed tfpt test
2017-05-05 Reto Achermannskate: adding optional arch argument
2017-05-05 Reto Achermannmoving lib/machinemodel to schemas directory
2017-05-05 Reto Achermannhake: integration of skate into the build system
2017-05-04 Reto Achermannskate: adding struct definitions for the facts
2017-05-04 Reto Achermannskate: implementation of C header for enums and constants
2017-05-04 Reto Achermannskate: initial parts fo the C header backend
2017-05-04 Simon GerberAdd simple tftp client test
2017-05-04 Reto Achermannskate: extend parser to support fully qualified names
2017-05-04 Reto Achermannskate: implementation of basic checks on declrations
2017-05-04 Reto Achermannskate: implementation of declaration table
2017-05-04 Simon Gerberharness: Delete tests/ which is copied tests...
2017-05-03 Reto AchermannSkate: implement check for type table
2017-05-03 Reto Achermannskate: starting the typetable and adding comments.
2017-05-03 Roni Häckinetworking: interface raw define batch size for adding...
2017-05-03 Roni Häckidevq: idc backend better way of handling failed notify
2017-05-03 Roni Häckidevq: small changes to idc/debug backend
2017-05-03 Roni Häckinetworking: added notify in interface raw
2017-05-03 Gerd ZellwegerRemoved if/octopus_defs.h from public header file.
2017-05-03 Gerd ZellwegerFix skb_snprintf uint64 parsing for the Pandaboard.
2017-05-02 Simon Gerbercapops: add some more DEBUG_CAPOPS in delete code
2017-05-02 Simon GerberT245: capops: fix distributed delete
2017-05-02 Roni Häckilibnet: benchmarking distinguish between rx/tx dequeue
2017-05-02 Reto AchermannTN-020: removing some of the old description
2017-05-02 Reto AchermannTN-020: adding more description to the Skate syntax...
2017-05-02 Roni Häckidevq: idc backend remove notification from enqueue
2017-05-02 Roni Häckidevq: changed debugging queue test
2017-05-02 Roni Häckidevq: debug backend added more functionality
2017-04-29 Reto AchermannTN-020: reorganizing and more documentation
2017-04-28 Reto Achermannskate: adding basic Skate output functions
2017-04-28 Reto Achermannskate: remove old header generation
2017-04-28 Reto Achermannskate: moving filename check to SkateChecker module