<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" id="owaParaStyle"></style>
</head>
<body fpstyle="1" ocsi="0">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;">
<div style="font-family: Times New Roman; color: #000000; font-size: 16px">
<div>
<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt">
<div>Dear all,</div>
<div>We are pleased to announce a new release of the Barrelfish OS. Along with <span style="font-size:10pt">various bug fixes, this release includes Skate, a new device drivers domains infrastucture, FreeBSD libc, lwip2 and a new network API.</span></div>
<div><span style="font-size:10pt"> </span></div>
<div>As always, you can get the latest version by cloning or pulling it from our <span style="font-size:10pt">git repository [1] or GitHub [2].</span></div>
<div> </div>
<div>--</div>
<div>Regards,</div>
<div>Adam</div>
<div> </div>
<div>[1] git://git.barrelfish.org/git/barrelfish</div>
<div>[2] https://github.com/BarrelfishOS/barrelfish</div>
<div><br>
</div>
<div>---</div>
<div><span style="background-color:rgb(255,255,255)">Adam Turowski (38): </span><br>
Merge branch 'lwip-next': new lwip-2 network stack <br>
net/arp and net/dhcp: adding missing includes <br>
Removing Windows newlines. <br>
lwip2: fixing pbuf reallocation and tuning TCP options <br>
pci library: adding a user state pointer <br>
devif: e1000 backend initial version <br>
spawn: fixing creation of an environment, empty string could be insterted on non-x86
<br>
schemas: converting 'right single quotation mark' to normal apostrophe <br>
numa: changing PRI macros to SCN in a scanf-alike call <br>
armv7: enabling VFP <br>
hake: fixing linking order of static libraries by grouping them, removing newlib and libc include paths, changing armv7 abi to hard floats
<br>
platforms: disabling sshd <br>
skb: switching from dlmalloc to libc malloc <br>
libc: removing newlib, adding BSD libc posixcompat: moving gettimeofday to libc harness: adding a simple math test lwip, lwip2: moving includes to /include, compiling with BSD headers
<br>
harness: call hake with a proper architecture <br>
gdtoa: fixing Hakefile <br>
rpc_cap_test: adding missing include <br>
armv7: moving do_resume from the general arm part (which didn't work for armv8 anyway) to the armv7 section
<br>
armv7: save vfp context (at least part of it) <br>
devif_test: fixing e10k queue constructor call fvp: reverting the fvp path
<br>
compiler-rt: removing an arm abi override, defaulting to compiler's <br>
k1om: some fix-ups <br>
net_sockets: converting nfs <br>
net: converting lwip types to bsd types <br>
net_sockets: e1000 server <br>
harness: changing tests to net sockets <br>
net: enabling DHCP <br>
tftpclient: converting to net sockets net_sockets: adding local/remote addresses/ports to the net_socket structure net,dhcp: adding a possibility of setting of static IP
<br>
harness: adjusting http tests to a new network stack <br>
net_sockets: some TCP fixups <br>
net: adding command-line IP configuration options <br>
hake: removing an unknown warning option from the x86_64 target harness: do an actual read in the webserver stress test
<br>
Fixing compilation issues on x86_64 and armv8 <br>
Removing ssh <br>
Merge branch 'bsdlibc' <br>
net: adding a loopback interface <br>
net,loopback: small fix <br>
net,e1000: fixing interrupt handling <br>
<br>
Gerd Zellweger (15): <br>
Add addModules flag to hake. <br>
Added infrastructure for driver domains, device driver modules and device driver instances.
<br>
Added template for driver domain and driver module. <br>
Extend glossary with the new driver terminology. <br>
Update documentation for device drivers. <br>
Small fix to glossary. <br>
Check-in older changes from FDIF conversion. <br>
Pass cap correct in driver domain to fdif instance. <br>
Convert mmchs to new driver interface. <br>
Fix dependencies for mmchs driver. <br>
Commit SDMA driver changes. <br>
Kaluga modifications to start domain. <br>
Change the pandaboard drivers to new driver format. <br>
Remove debug print in waitset.c <br>
Fix platform file. <br>
<br>
Lukas Humbel (3): <br>
ARMv8: Use generated armv8 mackerel files <br>
ARMv8: Make gic_v3 use new ARMv8 mackerel file <br>
ARMv8: Remove generic_timer.dev (now in armv8.dev) <br>
<br>
Reto Achermann (127): <br>
lwip-2.0.2: initial import of recent LWIP version <br>
lwip-2.0.2: adding ppp files for completeness <br>
lwip-2.0.2: disabling IP debug option <br>
lwip-2.0.2: removing mistakenly added *.c files in include directory <br>
lwip-2.0.2: WIP - adding some code for lwip-devif glue. <br>
Merge remote-tracking branch 'origin' into lwip-next <br>
devif: making the loopback interface work <br>
lwip-2.0.2: moving pbuf alloc/free functions to separate library <br>
initial commit of libnet <br>
libnet: adding solarflare and dhcp <br>
libnet: adding timeout function <br>
libnet: adding include of solarflare backend <br>
devif: accounting for valid data when calculating paddr <br>
lwip-2.0.2: returning the correct ms for sys_now() <br>
libnet: adding check for non-null pbuf in udp receive <br>
lwip-2.0.2: always use the force option for barrelfish pbuf header <br>
lwip-2.0.2: disable debug output <br>
libnet: always allocate pbufs of type ref, as they are not backed by RAM or pools
<br>
libnet: disable debug output <br>
libnet: adding basic benchmarking for enqueue and lwip stack <br>
libnet: obtaining MAC address and DHCP timers <br>
Merge remote-tracking branch 'origin' into lwip-next <br>
making netflags explicit unsigned long. <br>
devif: return QUEUE_EMTPY when re-enqueuing a buffer with RX failure <br>
libnet: adding buffer debug facilities <br>
devif: fixes and improvements of the solarflare queue <br>
libnet: improve benchmarking of LWIP stack <br>
lwip-2.0.2: update lwip options <br>
libnet: adding ping domain <br>
devif: bugfixes in the solarflare queue <br>
libnet: adding ping facility to Hakefile <br>
libnet: adding switch for turning on interrupts <br>
libnet: use shifts instead of divisions for netbuf <br>
libnet: don't do pbuf realloc <br>
lwip-2.0.2: enabling the raw interface <br>
adding UDP ping facility <br>
devif: making use of power of two pool size <br>
libnet: adding timeout message to ping <br>
libnet: printing IP info only if IP is set <br>
libnet: adding DHCP management functionality <br>
libnet: refactor initialization code <br>
libnet: fixing compilation with enabled debug <br>
libnet: some bugfixes in the DHCP functionality <br>
libnet: passing state pointer to queue init <br>
devicedb: allowing multiple instances of SFN and e10k <br>
devif: adding control message to the solarflare interface <br>
libnet: remove unneeded test code for the lwip stack <br>
solarflare: only start if the supplied arguments are valid <br>
libnet: ensure DHCP timeout is checked in polling mode <br>
libnet: rename the polling flag <br>
libnet: refactor initialization functions to take a state pointer <br>
libnet: bugfixes in dhcp module <br>
libnet: don't do DHCP by default <br>
sfn5122f: implement local rpc handlers <br>
sfn5122f: fixing compilation after merge <br>
libnet: adding functionality to publish/subscribe to ARPs <br>
lwip-2.0.2: enable static ARP entries <br>
libnet: integrating arp service to library and adding test domains <br>
lwip-2.0.2: updating LWIP options <br>
libnet: don't install arp cache entries for IP 0.0.0.0 <br>
libnet: moving net.h to public include. <br>
doc: updating and re-naming documetation 20: sockeye -> skate <br>
doc: adding more content to TN-020 <br>
doc/TN-020: adding more description of the syntax <br>
TN-020: finishing up syntax, starting with C mapping chapter <br>
TN-020: adding descriptions and placeholders for C mappings <br>
TN-020: adding text and sections to syntax <br>
skate: initial commit of skate with working parser <br>
TN: adding synbf macro <br>
skate: adding skate checker module <br>
skate: adding wiki abstract syntax <br>
skate: moving filename check to SkateChecker module <br>
skate: remove old header generation <br>
skate: adding basic Skate output functions <br>
TN-020: reorganizing and more documentation <br>
TN-020: adding more description to the Skate syntax definition <br>
TN-020: removing some of the old description <br>
skate: starting the typetable and adding comments. <br>
Skate: implement check for type table <br>
skate: implementation of declaration table <br>
skate: implementation of basic checks on declrations <br>
skate: extend parser to support fully qualified names <br>
skate: initial parts fo the C header backend <br>
skate: implementation of C header for enums and constants <br>
skate: adding struct definitions for the facts <br>
hake: integration of skate into the build system <br>
moving lib/machinemodel to schemas directory <br>
skate: adding optional arch argument <br>
skate: adding ACPI MADt schema <br>
skate: adding more error messages to the parser <br>
schema/acpi: making the MADT schema definition compile with the new parser <br>
removing references to old lib machinemodel <br>
datagatherer: remove generated dependeicy <br>
removing tools/sockeye -> transition to skate <br>
Skate: defining varios functions for type handling and code generation <br>
TN-020: adding examples for flags/constants/enums <br>
TN-020: adding motivational usescases fo Skate <br>
TN-020: adding some notes on the AST checks <br>
skate: store source position when parsing a skatefile <br>
armv8: adding modules to enable multi-core tests to harness <br>
harness: removing PCI domain from modules list of ARMv8 <br>
compiler-rt: white space changes that caused compiler warning <br>
compiler-rt: actually use arch_cFlags and disabling subft3 test on ARMv8 <br>
skate: adding generation of fact format string <br>
Add code generation for functions to add facts to the SKB <br>
skate: make generated C code compile <br>
TN-020: adding a remark regarding case sensitivity <br>
Merge branch 'skate' <br>
skate: use architecture instead of arch family <br>
armv8: fixing misaligned page-table in bootdriver <br>
fixing build for the documentation <br>
armv8: fixing menu.lst files and adding bootdriver to the platforms <br>
octopus: remove include to flounder file in public include <br>
solarflare: adding missing flounder defs to hakefile <br>
cdefs: do not use __nonnull function argument attribute <br>
harness: adding netsockets server to xeon phi test <br>
weever: differentiate error values from elfload <br>
K1OM: fixing patch to change the elf type for CPU driver <br>
k1om: fixing initialization of apic timer interrupts <br>
xeon_phi: fix compilation with full debug enabled <br>
flounder: sending the right bind/bind-reply message types <br>
harness: checking the right condition for the xeon phi test <br>
armv8: fix compilation for lrpc benchmark <br>
armv8: do not set all_spawnds_up by default on ARMv8 <br>
armv8: actually use 64-bit values to store initial registers <br>
harness: increasing timeout for the mt_waitset test, to avoid timeout on armv8 machines
<br>
increasing boot timeout for the big ARM machine <br>
<br>
Roni Häcki (18): <br>
libnet: implemented adding/removing hardware filters from solarflare card <br>
platforms hakefile fixed trailing comma <br>
solaflare: driver removing old filter code <br>
solarflare: init queue 0 in driver <br>
solarflare: removed old management interface code <br>
netlib: better integration of harware filtering <br>
netlib: integrated e10k device queue including hardware filters <br>
e10k: driver working using legacy descriptors <br>
e10k: enabling requesting default queue <br>
e10k: fixed adding filter bug <br>
libnet: adding hardware filter for udp ping test <br>
solarflare: call networking_poll in polling mode <br>
solarflare: fixed polling mode to not raise additional interrupts <br>
skb: revert core hint of drivers to core 0 <br>
e10k: legacy interrupts working with new network stack <br>
libnet: udp ping adapted to also work with interrupts <br>
libnet: benchmark mode only count dequeues that do not fail <br>
libnet: benchmarking distinguish between rx/tx dequeue <br>
<br>
Simon Gerber (20): <br>
harness: fix gorgonzola2 machine data <br>
armv8: kaluga: remove early oct_set("all_spawnds_up") <br>
harness: cleanup tests to not override is_finished() where possible <br>
harness: distops tests: make sure tests have run when reporting test success
<br>
tests: update L1/L2 CNode creation tests and add harness test <br>
documentation: tn13: start updating capmgmt technote <br>
doc: tn13: update capability type section <br>
doc: tn13: Add one sentence description for all currently available Kernel cap invocations
<br>
doc: tn13: add KCB to cap types <br>
doc: tn13: fix comment in hakefile <br>
doc: tn13: add mapping capability to types <br>
doc: tn13: Update wording for frame/devframe ondelete() <br>
doc: tn13: Add section on implementation of cap database <br>
doc: tn13: Add section on Mark's hybrid operations in ch6 <br>
doc: tn13: Reword hybrid solution section <br>
doc: tn13: more updates to ch6 <br>
doc: tn13: add invocations on VNode and some minor changes <br>
kernel: caps_lookup_slot: fix edgecase for l1 index out of range <br>
tests: fix skb cap storage test to use %PRIuGENPADDR instead of %zu <br>
doc: tn04: update vm technote to match recent implementation changes <br>
<br>
Timothy Roscoe (1): <br>
Converted Filet-o-Fish Literate Haskell code into a Technical Note<br>
<div style="font-size:13px">
<div style="font-size:13px">
<div style="font-size:13px">
<div><br>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>