barrelfish
2017-07-26 Reto Achermannincreasing boot timeout for the big ARM machine master release2017-07-26
2017-07-25 Reto Achermannharness: increasing timeout for the mt_waitset test...
2017-07-25 Adam Turowskinet,e1000: fixing interrupt handling
2017-07-25 Reto Achermannarmv8: actually use 64-bit values to store initial...
2017-07-25 Reto Achermannarmv8: do not set all_spawnds_up by default on ARMv8
2017-07-24 Reto Achermannarmv8: fix compilation for lrpc benchmark
2017-07-24 Reto Achermannharness: checking the right condition for the xeon...
2017-07-24 Reto Achermannflounder: sending the right bind/bind-reply message...
2017-07-23 Reto Achermannxeon_phi: fix compilation with full debug enabled
2017-07-23 Reto Achermannk1om: fixing initialization of apic timer interrupts
2017-07-23 Reto AchermannK1OM: fixing patch to change the elf type for CPU driver
2017-07-23 Reto Achermannweever: differentiate error values from elfload
2017-07-23 Reto Achermannharness: adding netsockets server to xeon phi test
2017-07-23 Reto Achermanncdefs: do not use __nonnull function argument attribute
2017-07-23 Reto Achermannsolarflare: adding missing flounder defs to hakefile
2017-07-23 Reto Achermannoctopus: remove include to flounder file in public...
2017-07-22 Reto Achermannarmv8: fixing menu.lst files and adding bootdriver...
2017-07-14 Adam Turowskinet,loopback: small fix
2017-07-14 Adam Turowskinet: adding a loopback interface
2017-07-11 Adam TurowskiMerge branch 'bsdlibc'
2017-07-11 Adam TurowskiRemoving ssh
2017-07-11 Adam TurowskiFixing compilation issues on x86_64 and armv8
2017-07-11 Gerd ZellwegerFix platform file.
2017-07-11 Gerd ZellwegerRemove debug print in waitset.c
2017-07-11 Adam Turowskihake: removing an unknown warning option from the x86_6...
2017-07-11 Adam Turowskinet: adding command-line IP configuration options
2017-07-10 Adam Turowskinet_sockets: some TCP fixups
2017-07-07 Gerd ZellwegerChange the pandaboard drivers to new driver format.
2017-07-06 Adam Turowskiharness: adjusting http tests to a new network stack
2017-07-06 Adam Turowskitftpclient: converting to net sockets
2017-07-04 Adam Turowskinet: enabling DHCP
2017-07-03 Adam Turowskiharness: changing tests to net sockets
2017-07-03 Adam Turowskinet_sockets: e1000 server
2017-07-03 Adam Turowskinet: converting lwip types to bsd types
2017-07-03 Adam Turowskinet_sockets: converting nfs
2017-07-03 Gerd ZellwegerKaluga modifications to start domain.
2017-06-30 Adam Turowskik1om: some fix-ups
2017-06-27 Gerd ZellwegerCommit SDMA driver changes.
2017-06-23 Adam Turowskicompiler-rt: removing an arm abi override, defaulting...
2017-06-22 Adam Turowskidevif_test: fixing e10k queue constructor call
2017-06-22 Adam Turowskiarmv7: save vfp context (at least part of it)
2017-06-22 Adam Turowskiarmv7: moving do_resume from the general arm part ...
2017-06-22 Adam Turowskirpc_cap_test: adding missing include
2017-06-22 Adam Turowskigdtoa: fixing Hakefile
2017-06-22 Adam Turowskiharness: call hake with a proper architecture
2017-06-22 Adam Turowskilibc: removing newlib, adding BSD libc
2017-06-22 Adam Turowskiskb: switching from dlmalloc to libc malloc
2017-06-22 Adam Turowskiplatforms: disabling sshd
2017-06-22 Adam Turowskihake: fixing linking order of static libraries by group...
2017-06-21 Adam Turowskiarmv7: enabling VFP
2017-06-21 Adam Turowskinuma: changing PRI macros to SCN in a scanf-alike call
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...
next