Sockeye TN: Update info about Prolog mapping
[barrelfish] / lib /
2017-07-23 Reto Achermannoctopus: remove include to flounder file in public...
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 TurowskiFixing compilation issues on x86_64 and armv8
2017-07-11 Gerd ZellwegerRemove debug print in waitset.c
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 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-23 Adam Turowskicompiler-rt: removing an arm abi override, defaulting...
2017-06-22 Adam Turowskiarmv7: save vfp context (at least part of it)
2017-06-22 Adam Turowskigdtoa: fixing Hakefile
2017-06-22 Adam Turowskilibc: removing newlib, adding BSD libc
2017-06-21 Adam Turowskinuma: changing PRI macros to SCN in a scanf-alike call
2017-06-19 Adam Turowskispawn: fixing creation of an environment, empty string...
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 Daniel SchwynMerge remote-tracking branch 'upstream/master' into...
2017-06-13 Reto AchermannMerge branch 'skate'
2017-06-07 Adam Turowskidevif: e1000 backend initial version
2017-06-06 Adam Turowskipci library: adding a user state pointer
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-15 Gerd ZellwegerAdded infrastructure for driver domains, device driver...
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-05 Moritz Hoffmannlib/gmp: Remove from tree
2017-05-05 Reto Achermannmoving lib/machinemodel to schemas directory
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 Roni Häckilibnet: benchmarking distinguish between rx/tx dequeue
2017-05-02 Roni Häckidevq: idc backend remove notification from enqueue
2017-05-02 Roni Häckidevq: debug backend added more functionality
2017-04-28 Roni Häckidevq: idc backend handling failure of deregister rpc
2017-04-28 Roni Häckidevq: stackable debugging backend for checking buffer...
2017-04-28 Roni Häckidevq: idc backend fixed debug mode compilation
2017-04-24 Roni Häckilibnet: benchmark mode only count dequeues that do...
2017-04-21 Roni Häckilibnet: udp ping adapted to also work with interrupts
2017-04-21 Roni Häckie10k: legacy interrupts working with new network stack
2017-04-21 Gerd ZellwegerFix some dependency that fail the build.
2017-04-21 Roni Häckisolarflare: fixed polling mode to not raise additional...
2017-04-20 Roni Häckilibnet: adding hardware filter for udp ping test
2017-04-20 Gerd ZellwegerAdded functionality in libskb to store and retrieve...
2017-04-20 Gerd ZellwegerAdd functionality to store caps with unique IDs.
2017-04-20 Roni Häckie10k: enabling requesting default queue
2017-04-20 Reto Achermannnet_if_raw: don't assume hardware queues on k1om
2017-04-20 Roni Häckie10k: driver working using legacy descriptors
2017-04-20 Reto Achermannlibnetif_raw: adding k1om to build architectures
2017-04-18 Roni Häckinetlib: integrated e10k device queue including hardware...
2017-04-12 Roni Häckinetlib: better integration of harware filtering
2017-04-12 Reto Achermannlibnet: moving net.h to public include.
2017-04-12 Reto Achermannlibnet: don't install arp cache entries for IP 0.0.0.0
2017-04-11 Reto Achermannlwip-2.0.2: updating LWIP options
2017-04-11 Reto Achermannlibnet: integrating arp service to library and adding...
2017-04-11 Reto Achermannlwip-2.0.2: enable static ARP entries
2017-04-11 Reto Achermannlibnet: adding functionality to publish/subscribe to...
2017-04-11 Roni Häckisolarflare: init queue 0 in driver
2017-04-11 Reto Achermannlibnet: don't do DHCP by default
2017-04-11 Reto Achermannlibnet: bugfixes in dhcp module
2017-04-10 Roni Häckilibnet: implemented adding/removing hardware filters...
2017-04-10 Reto Achermannlibnet: refactor initialization functions to take a...
2017-04-10 Reto Achermannlibnet: rename the polling flag
2017-04-10 Reto Achermannlibnet: ensure DHCP timeout is checked in polling mode
2017-04-10 Reto Achermannlibnet: remove unneeded test code for the lwip stack
2017-04-10 Reto Achermannlibnet: passing state pointer to queue init
2017-04-08 Reto Achermannlibnet: some bugfixes in the DHCP functionality
2017-04-07 Reto Achermannlibnet: fixing compilation with enabled debug
2017-04-07 Reto Achermannlibnet: refactor initialization code
2017-04-07 Reto Achermannlibnet: adding DHCP management functionality
2017-04-06 Reto Achermannlibnet: printing IP info only if IP is set
2017-04-06 Reto Achermannlibnet: adding timeout message to ping
2017-04-06 Reto Achermanndevif: making use of power of two pool size
2017-04-06 Reto Achermannadding UDP ping facility
2017-04-06 Reto Achermannlwip-2.0.2: enabling the raw interface
2017-04-06 Reto Achermannlibnet: don't do pbuf realloc
2017-04-06 Reto Achermannlibnet: use shifts instead of divisions for netbuf
2017-04-06 Reto Achermannlibnet: adding switch for turning on interrupts
2017-04-06 Reto Achermannlibnet: adding ping facility to Hakefile
2017-04-06 Reto Achermanndevif: bugfixes in the solarflare queue
2017-04-06 Reto Achermannlibnet: adding ping domain
2017-04-05 Reto Achermannlwip-2.0.2: update lwip options
2017-04-05 Reto Achermannlibnet: improve benchmarking of LWIP stack
2017-04-05 Reto Achermanndevif: fixes and improvements of the solarflare queue
2017-04-05 Reto Achermannlibnet: adding buffer debug facilities
2017-04-05 Reto Achermanndevif: return QUEUE_EMTPY when re-enqueuing a buffer...
2017-04-04 Reto AchermannMerge remote-tracking branch 'origin' into lwip-next
2017-04-04 Reto Achermannlibnet: obtaining MAC address and DHCP timers
next