projects / barrelfish / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
increasing boot timeout for the big ARM machine
2017-07-26 Reto Achermannincreasing boot timeout for the big ARM machine
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-07-25 Reto Achermannharness: increasing timeout for the mt_waitset test...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-07-25 Reto Achermannarmv8: actually use 64-bit values to store initial...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-07-25 Reto Achermannarmv8: do not set all_spawnds_up by default on ARMv8
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-07-24 Reto Achermannarmv8: fix compilation for lrpc benchmark
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-07-24 Reto Achermannharness: checking the right condition for the xeon...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-07-24 Reto Achermannflounder: sending the right bind/bind-reply message...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-07-23 Reto Achermannxeon_phi: fix compilation with full debug enabled
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-07-23 Reto Achermannk1om: fixing initialization of apic timer interrupts
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-07-23 Reto AchermannK1OM: fixing patch to change the elf type for CPU driver
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-07-23 Reto Achermannweever: differentiate error values from elfload
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-07-23 Reto Achermannharness: adding netsockets server to xeon phi test
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-07-23 Reto Achermanncdefs: do not use __nonnull function argument attribute
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-07-23 Reto Achermannsolarflare: adding missing flounder defs to hakefile
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-07-23 Reto Achermannoctopus: remove include to flounder file in public...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-07-22 Reto Achermannarmv8: fixing menu.lst files and adding bootdriver...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-14 Reto Achermannfixing build for the documentation
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-14 Reto Achermannarmv8: fixing misaligned page-table in bootdriver
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-13 Reto Achermannskate: use architecture instead of arch family
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-13 Reto AchermannMerge branch 'skate'
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-06-13 Reto AchermannTN-020: adding a remark regarding case sensitivity
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-27 Reto Achermannskate: make generated C code compile
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-27 Reto AchermannAdd code generation for functions to add facts to the SKB
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-14 Reto Achermannskate: adding generation of fact format string
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-11 Reto Achermanncompiler-rt: actually use arch_cFlags and disabling...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-11 Reto Achermanncompiler-rt: white space changes that caused compiler...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-11 Reto Achermannharness: removing PCI domain from modules list of ARMv8
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-10 Reto Achermannarmv8: adding modules to enable multi-core tests to...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-06 Reto Achermannskate: store source position when parsing a skatefile
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-05 Reto AchermannTN-020: adding some notes on the AST checks
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-05 Reto AchermannTN-020: adding motivational usescases fo Skate
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-05 Reto AchermannTN-020: adding examples for flags/constants/enums
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-05 Reto AchermannSkate: defining varios functions for type handling...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-05 Reto Achermannremoving tools/sockeye -> transition to skate
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-05 Reto Achermanndatagatherer: remove generated dependeicy
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-05 Reto Achermannremoving references to old lib machinemodel
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-05 Reto Achermannschema/acpi: making the MADT schema definition compile...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-05 Reto Achermannskate: adding more error messages to the parser
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-05 Reto Achermannskate: adding ACPI MADt schema
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-05 Reto Achermannskate: adding optional arch argument
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-05 Reto Achermannmoving lib/machinemodel to schemas directory
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-05 Reto Achermannhake: integration of skate into the build system
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-04 Reto Achermannskate: adding struct definitions for the facts
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-04 Reto Achermannskate: implementation of C header for enums and constants
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-04 Reto Achermannskate: initial parts fo the C header backend
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-04 Reto Achermannskate: extend parser to support fully qualified names
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-04 Reto Achermannskate: implementation of basic checks on declrations
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-04 Reto Achermannskate: implementation of declaration table
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-03 Reto AchermannSkate: implement check for type table
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-03 Reto Achermannskate: starting the typetable and adding comments.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-02 Reto AchermannTN-020: removing some of the old description
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-05-02 Reto AchermannTN-020: adding more description to the Skate syntax...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-29 Reto AchermannTN-020: reorganizing and more documentation
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-28 Reto Achermannskate: adding basic Skate output functions
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-28 Reto Achermannskate: remove old header generation
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-28 Reto Achermannskate: moving filename check to SkateChecker module
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-28 Reto Achermannskate: adding wiki abstract syntax
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-28 Reto Achermannskate: adding skate checker module
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-28 Reto AchermannTN: adding synbf macro
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-27 Reto Achermannskate: initial commit of skate with working parser
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-27 Reto AchermannTN-020: adding text and sections to syntax
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-21 Reto AchermannTN-020: adding descriptions and placeholders for C...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-21 Reto AchermannTN-020: finishing up syntax, starting with C mapping...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-20 Reto Achermanndoc/TN-020: adding more description of the syntax
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-20 Reto Achermanndoc: adding more content to TN-020
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-20 Reto Achermanndoc: updating and re-naming documetation 20: sockeye...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-20 Reto Achermannnet_if_raw: don't assume hardware queues on k1om
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-20 Reto Achermannlibnetif_raw: adding k1om to build architectures
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-20 Reto Achermanne1000: adding octopus flounder defs to fix dependency...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-13 Reto AchermannACPI: towards handling all MADT table entries
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-12 Reto Achermannlibnet: moving net.h to public include.
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-12 Reto Achermannlibnet: don't install arp cache entries for IP 0.0.0.0
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-11 Reto Achermannlwip-2.0.2: updating LWIP options
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-11 Reto Achermannlibnet: integrating arp service to library and adding...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-11 Reto Achermannlwip-2.0.2: enable static ARP entries
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-11 Reto Achermannlibnet: adding functionality to publish/subscribe to...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-11 Reto Achermannsfn5122f: fixing compilation after merge
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-11 Reto Achermannsfn5122f: implement local rpc handlers
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-11 Reto Achermannlibnet: don't do DHCP by default
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-11 Reto Achermannlibnet: bugfixes in dhcp module
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-10 Reto Achermannlibnet: refactor initialization functions to take a...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-10 Reto Achermannlibnet: rename the polling flag
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-10 Reto Achermannlibnet: ensure DHCP timeout is checked in polling mode
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-10 Reto Achermannsolarflare: only start if the supplied arguments are...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-10 Reto Achermannlibnet: remove unneeded test code for the lwip stack
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-10 Reto Achermanndevif: adding control message to the solarflare interface
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-10 Reto Achermanndevicedb: allowing multiple instances of SFN and e10k
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-10 Reto Achermannlibnet: passing state pointer to queue init
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-08 Reto Achermannlibnet: some bugfixes in the DHCP functionality
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-07 Reto Achermannlibnet: fixing compilation with enabled debug
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-07 Reto Achermannlibnet: refactor initialization code
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-07 Reto Achermannlibnet: adding DHCP management functionality
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-07 Reto Achermanne10k: adding e10k flounder defs to targets
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-07 Reto Achermannoctopus: remove inclusion to flounder header from public...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-06 Reto AchermannMerge branch 'armv8-coreboot': final pieces for interrupts...
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-06 Reto Achermannlibnet: printing IP info only if IP is set
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-06 Reto Achermannlibnet: adding timeout message to ping
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-06 Reto Achermanndevif: making use of power of two pool size
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-06 Reto Achermannadding UDP ping facility
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
2017-04-06 Reto Achermannlwip-2.0.2: enabling the raw interface
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
 commit | commitdiff | tree
next
Barrelfish OS git repo