2015 Cambridge DevSummit ('BSDCam')

The 2015 Cambridge DevSummit is scheduled for 17–19 August. Registration has now closed. You can also find a city map, building floor plans, and overall schedule at bsdcam.cl.cam.ac.uk. When registering, please also add yourself to the attendee list below, and be sure to add potential discussion/presentation topics for sessions you might be interested in participating in. The event is run "un-conference style" in that we brainstorm the actual session schedule on the first morning, with a focus on interactive topics that reflect the interests and exploit the knowledge of the attendees -- but there's also room for traditional talks, etc. There are plenty of break-out rooms for small groups to meet as they see fit.

Group Photo

201508DevSummitGroupPhoto.jpg

Schedule

We'll post a rough schedule on the DevSummit website.

The main Devsummit room is FW11 (First floor, Northwest corner of the building); other rooms are available for break-out sessions and working groups. Coffee will be provided prior to events starting at 10:00; lunch is at roughly 12:00 each day; we plan to conclude technical sessions at 17:00(ish). Lunch has been arranged (and is included in registration), and dinner bookings will be made (not included in your registration, except for the formal dinner). We will confirm dinner head counts each morning in order to size reservations suitably. Note that the Tuesday-night dinner required an advanced RSVP, and no further seats are available. William Gates Building floor maps can be found below.

Sunday

Monday

Tuesday

Wednesday

Morning

FW11: Brainstorming / FW11: Storage

FW11: Tracing / FW26: ABIs/emulation

FW11: Testing / FW26: Power

Lunch

After lunch

FW11: Networking / FW26: Packaging

FW11: Capsicum

FW11: Teaching / FW26: More packages

Break

Afternoon

FW11: ARMv8

FW11: Toolchain/LLVM / FW26: Cloudy things

FW11: RISC-V / FW26: Security/crypto

Break

Evening

7pm: The Maypole

7pm: Wildwood

7pn: Murray Edwards

6:30pm: Cafe Rouge

Short Talks

We will have a couple of slots for short talks, to present your current work, brainstorm or ask for feedback on smaller items. Must not overlap with working groups. Please add your talk suggestions here:

Title

Speaker

Description

Slides, Notes

Introduction to bhye-on-arm

MihaiCarabas

Current work of running a VM with bhyve on ARM platforms

Slides

Hardware trace for software analysis

Al Grant

Explains how the trace features on many ARM processors can be used for deep performance analysis and post-mortem debugging

Slides

x86 ISA formal model

WarrenHunt

In-progress formal modelling of the x86 ISA and potential implications for FreeBSD QA

Towards Power Management for FreeBSD

Robin Randhawa

An overview of ARM's Energy Aware Scheduling - aiming to kickstart discussions to get an implementation of EAS for FreeBSD

Slides

Working Groups

If you would like to run a working group, please add your name below:

Title

Organiser

Preferred day(s)

Brief description

Capsicum and CloudABI

rwatson, ed, et al

Discussion of ongoing Capsicum model enhancements, the implementation, and applications

Teaching with FreeBSD

rwatson, gnn

Cambridge's L41 masters course; undergraduate material; making FreeBSD a better platform for teaching

Random Number Generator

markm

Discussion of future direction of random(4) and random(9)

arm{,64}

andrew

Monday

Status, what's needed for Tier 1, how to play nicely with Linux, etc.

Toolchain and runtimes for 11.0

emaste

Clang, LLVM, LLDB, ELF Tool Chain, csu, unwinder

FreeBSD/RISC-V port

emaste, br

Sketch out a FreeBSD port to the RISC-V ISA from Berkeley

Securing Software Build and Distribution

emaste

Source traceability, build reproducibility, binary artifact transparency and related topics

Universal Config Files with libUCL

allanjude

Converting many one-off config files to a single universal format

ABI emulation

allanjude, ed, xmj

Tuesday

State of the art of ABI emulation on FreeBSD (Linuxulator, CloudABI, Cheri), identifying things to do

Cloudy Things

cperciva

Things related to FreeBSD and clouds

Tracing

rwatson, gnn

All things tracing, including DTrace and its interaction with the rest of our systems

Networking

gnn

New features and planning for the network stack

Testing

benno

Discussion of testing of FreeBSD

Maps

Map of Cambridge, with the Computer Lab, accommodation, and pub to meet at on the first day, marked.

William Gates Building

Floor plans are available here: Maps of the William Gates Building and surrounding area.

You are specially interested in the 1st floor (EU/UK counting: ground, 1st, 2nd), WGB 1st floor room map

Logistics

Cambridge, UK is located approximately 45 minutes North of London by train, with easy access by bus or train to St. Pancras International - Eurostar (45m rail), London Stansted Airport (40m rail), London Heathrow Airport (LHR - 2h rail), London Gatwick Airport (LGW - 2h rail), Manchester Airport (MIA - 4h rail), London Luton Airport (1h25m bus). European attendees may consider Eurostar or Stansted Airport preferred routes due to short transit time to Cambridge and lower prices. Visitors from the US or elsewhere will likely need to travel into one of London's major international airports, such as Heathrow or Gatwick. With the exception of Luton Airport, rail offers a more convenient but more expensive route to Cambridge than bus.

Please note: during the summer, rail service in and out of Cambridge is sometimes disrupted on Sundays due to rail works on the track between London Kings Cross and Cambridge. Attendees are encouraged to avoid the need to travel by rail on Sundays.

Lodging

Please book accommodation via University Rooms. We have reserved some rooms in St. Catherine's College (£69/night B&B), for which we have a group code (instructions for booking these are in the announcement email), but feel free to pick any of the nearby colleges. Murray Edwards, Fitzwilliam, and Churchill are all within easy walking distance (10-15 minutes) of the DevSummit and the city centre. Cycling from any of the city centre colleges to the computer lab should take around 10 minutes, possibly 15 if you have to dodge pedestrians as you cross the centre.

Currently, Churchill has some cheap rooms with shared bathrooms, so would be a good choice for people wishing to reduce costs. Avoid Homerton, unless getting fit by cycling long distances is one of your goals for the DevSummit.

Bike Hire and Collection

Cambridge is slightly too large to be convenient to walk everywhere, but small enough to be ideal for a bicycle. If you have a car, please be aware that you will not be able to drive in the city centre and you probably won't want to drive near Cambridge. The roads were designed for horses and have adapted well to bicycles, but not to anything larger.

Station Cycles (confusingly located in the middle of town, nowhere near the station) rents bicycles at a reasonable rate. Please book with them directly. You can probably just turn up and get a bike but it's better to send them an email to make sure that they're not going to be surprised when 30 people turn up at once.

Network access

We will hand out "Lapwing tickets" during the opening session; these are preferred to the open WGB access point due to using JANET rather than a commercial DSL line. See http://www.ucs.cam.ac.uk/network/rules for University network access rules (AUP). Plan on bringing an Ethernet cable for possible wired access in your room (depending on accommodation).

Using eduroam (UniOfCam) with tickets on FreeBSD

I am not sure if you need the CA cert but I downloaded it following UCS instructions from: http://www.ucs.cam.ac.uk/mobiledevices/certificate-conversion.html
The main trick was that UCS requires the outer (anonymous) identity to either be your real user name (which you normally do not want) or be empty.
The identity (UniOfCam Ticket-Id) can be supplied with both the three dashes or without, so keeping it in seemed natural.
The main thing pb helped me to find was that the Realm needs to be @wireless.cam.ac.uk:  http://www.ucs.cam.ac.uk/network/other/radius#lapwing-tickets

So here's a wpa_supplicant.conf that (once) worked for me.

network={
      ssid="eduroam"
      key_mgmt=WPA-EAP
      eap=TTLS PEAP
      phase1="peaplabel=0"
      phase2="auth=MSCHAPV2"
      anonymous_identity="@wireless.cam.ac.uk"
      identity="xxx-xxx-xxx@wireless.cam.ac.uk"
      password="xxxxxxxx"
      ca_cert="/tmp/AddTrustExternalCARoot.crt"
}

Note:  in case you previously were using "lapwing" you want to change that, as the system was renamed mid-2014.  /bz

This is what cperciva needed to get eduroam working using his credentials from a Canadian university; allegedly all Canadian universities do eduroam the same way, so this may be useful for members of other Canadian universities:

network={
        ssid="eduroam"
        proto=WPA WPA2
        key_mgmt=WPA-EAP
        eap=PEAP
        group=CCMP TKIP
        identity="cperciva@sfu.ca"
        password="XXXXXXXX"
}

Travel coordination

Registration is on the Cambridge Computer Laboratory website. The fee is £75, which covers the costs of lunches, badges, shirts, etc.

You can co-ordinate travel and find people staying in the same place as you here:

Name

FreeBSD.org login

Arrival Date

Departure Date

Lodging

MathieuArnold

mat

2015-08-15

2015-08-20

St. Caths

GavinAtkinson

gavin

2015-08-17

2015-08-20

Churchill College

SofianBrabez

sbz

2015-08-16

2015-08-20

Sidney Sussex

RuslanBukin

br

local

local

Home

MihaiCarabas

mihai

2015-08-17(W6 3001)

2015-08-20

Westminster College

DavidChisnall

theraven

local

local

Home

BaptisteDaroussin

bapt

2015-08-16

2015-08-20

Sidney Sussex

BradDavis

brd

2015-08-15

2015-08-20

Sidney Sussex

BrooksDavis

brooks

2015-08-10

2015-08-22

Westminster College

AllanJude

allanjude

2015-08-16 (AC858)

2015-08-20 (AC849)

St. Caths

ScottLong

scottl

2015-08-17

2015-08-17

London (SIGCOMM)

EdMaste

emaste

2015-08-16 (AC848)

2015-08-21 (AC857)

Westminster College

JohannesMeixner

xmj

2015-08-16

2016-08-20

MarkMurray

markm

local

local

Home

GeorgeNevilleNeil

gnn

local(ish)

local(ish)

HAFH

ColinPercival

cperciva

2015-08-15 (BA835)

2015-08-20 (AC865)

St. Caths

BennoRice

benno

2015-08-16 (VS108)

2015-08-20 (DL36)

Westminster College

EdSchouten

ed

2015-08-16 (FR294)

2015-08-20 (FR9273)

Murray Edwards College

MatthewSeaman

matthew

2015-08-16

2015-08-20

St. Caths

DagErlingSmørgrav

des

2015-08-16

2015-08-20

Westminster College

VsevolodStakhov

vsevolod

local

local

Home

AndrewTurner

andrew

local

local

Home

RobertWatson

rwatson

local

local

Home

MariuszZaborski

oshogbo

2015-08-16

2015-08-20

BjoernZeeb

bz

local

local

Home

Developers are welcome to invite guests to attend the developer summit, subject to their tolerance for ceaseless hours of kernel-hacking, and availability of space at the venue.

Name

Host

Arrival Date

Departure Date

Lodging

EricleBlan

DavidChisnall

-

-

-

PieteBrooks

RobertWatson

local

local

local

MichaelBrinke-Engel

DavidChisnall

local

local

local

AndreasFiessler

DavidChisnall

-

-

-

Al Grant

GeorgeNevilleNeil

local

local

local

KhilanGudka

RobertWatson

local

local

local

WarrenHunt

RobertWatson

local

local

local

SevanJaniyan

RobertWatson

2015-08-16

2015-08-20

Jesus College

Milosz Kaniewski

MariuszZaborski

2015-08-16

2015-08-20

VassilisLaganakos

RobertWatson

local

local

local

TheoMarkettos

RobertWatson

local

local

local

DimitrisPapastamos

RobinRandhawa

local

local

local

DanielPeyrolon

GeorgeNevilleNeil

2015-08-16 (FR9015)

2015-08-20 (FR9014)

Clare College

RobinRandhawa

RobertWatson

local

local

local

AlexanderRichardson

RobertWatson

local

local

local

PhilippeRobin

DavidChisnall

local

local

local

MarkRutland

AndrewTurner

-

-

-

PeterSmith

MarkMurray

local

local

local

ArunThomas

RobertWatson

2015-08-16

2015-08-22

Westminster College

KonradWitaszczyk

MariuszZaborski

2015-08-16

2015-08-20

MarcinWojcik

DavidChisnall

-

-

-

201508DevSummit (last edited 2015-09-01 18:33:56 by SofianBrabez)