2017 Cambridge DevSummit ('BSDCam')

The 2017 Cambridge DevSummit is scheduled for 2-4 August 2017.

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.

Registration

Please register now at bsdcam.cl.cam.ac.uk, book your accommodations through the link on your confirmation page and pay through bank transfer or PayPal. The registration fee of £75 covers our expenses in running the developer summit, including meals and one seat at the Devsummit Dinner.

Group Photo

Schedule

The schedule will be posted on the DevSummit website closer to the time. The devsummit will be held in the same location as previous years, the William Gates Building, 15 JJ Thomson Avenue, Cambridge.

Meals

Your registration fee will cover coffee and light breakfasty snacks prior to the start of the devsummit each day, as well as lunch and afternoon coffee that will be catered at the event. We normally host a Devsummit Dinner on one evening of the summit, and anticipate doing so this year. The cost of that dinner is included in your registration fee, although you will need to pay an extra fee if you will bring a guest with you to dinner (which you are encouraged to do). Other dinners are separately organised at local restaurants, and will be paid for directly by attendees. Further details will be posted closer to the time.

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

Enhancing and replacing mmap()

BrooksDavis

Proposing a set of enhancements to mmap() to better support mitigations such as W^X and future technologies as CHERI. Also proposing a replacement family of interfaces.

Transport Update

JonathanLooney

Providing an update on the work that has been happening (and is planned to happen) in the transport area. While most of this is not new, it is useful to present the work to a different audience.

Working Groups

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

Title

Organiser

Preferred day(s)

Brief description

Capsicum

RobertWatson

any

Capsicum is a capability-based UNIX sandboxing model present in FreeBSD. Increasing numbers of applications use Capsicum, including a fair number of system daemons, command-line tools, and most recently, bhyve. In this session we will continue to plot next directions, review updates to the Casper framework, and try to make some more collective progress on sandboxing base-system applications.

Teaching

BenedictReuschling

any, longer session if possible

This session is for people interested in teaching operating systems (with FreeBSD). We'll discuss current efforts (i.e. teachbsd.org), curriculum work, sharing materials, creating workshops for conferences, etc. We'll have a number of professors and teachers attending, which also provides a chance to start collaborations between universities and people with shared interests.

Docs Hack Day

SevanJaniyan

1st of August

A day of working on documentation related tasks, perhaps revisit some of the ideas from last years session or just plough through tickets. Will be held at room FW09 (next door to the main room we gather at the summit)

Memory Safety

BrooksDavis

any

FreeBSD lags behind on various mitigation techniques such as ASLR and W^X. We will discuss the fate of existing ASLR implementations. We should develop a deployment plan for W^X.

Network Locks

JonathanLooney

any

Discuss potential changes to socket locks. In particular, does it make sense to combine locks vertically (socket + pcb), combine socket read/write buffer locks, etc.? (See, this for a brief pointer to previous thoughts on some of this.) Also, does it make sense to conduct further optimization on the pcbinfo locks? Finally, what is the target workload/platform/etc. for testing?

bhyve

PeterGrehan

any

Discuss future changes to bhyve that are relevant to the Cambridge audience: capsicum/sandboxing/security work, the bhyve/ARM port, Intel SGX support, networking features and performance, RISC-V hypervisor spec work etc.

Maps

These will be posted closer to the time.

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.

There is a bus ("The Universal") that travels directly past the railway station going west towards St Catharine's College in the city centre, and then the William Gates Building. The Universal runs every 15 minutes on week days, every 20 minutes on Saturdays, and not at all on Sundays. Universal bus route map, Universal bus timetable. The William Gates Building is the first stop on JJ Thomson Avenue.

Lodging

St Catharine's College, Cambridge, has made available a room block covering the period 1-6 August 2017. Use this URL to book rooms directly with the college: St Catherine's College - BSDCam Room Booking. St Catharine's is located in the city centre, about a twenty-minute walk from the railway station (to the southeast) and a similar distance from the William Gates Building (to the northwest). En-suite rooms are available via the booking page; other room types are available if booked directly via the college (but please let them know you are attending BSDCam). The college has rooms available outside the room block, should it fill, and can also provide rooms on surrounding dates.

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.

Rutland Cycling (previously Station Cycles) 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.

Prepaid SIM Cards

If you need cellular service in the UK, a number of operators sell SIM cards. You can usually buy a SIM card for the Three (3) network from a vending machine at Heathrow Airport for ~£20. You can also often buy them from airport shops such as W.H. Smith. BrooksDavis reports that he uses £2-3/week of data while in Cambridge so if you will be in the UK often enough to keep your account alive, it's often a better deal to not activate the offered data bundle and just use the credit. If you take that option, top-ups can be purchased at most Airport shops and any mobile seller.

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

Note: Some people will be arriving early to get extra hacking/sightseeing/beer drinking in before the Dev Summit officially starts.

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

Notes

JonathanAnderson

jonathan

TBD

TBD

St Cath's

GavinAtkinson

gavin

TBD

TBD

TBD

MathieuArnold

mat

2017-08-01

2017-08-06

St Cath's

SofianBrabez

sbz

2017-08-01

2017-08-05

St Catharine's College

RuslanBukin

br

local

local

Home

BrooksDavis

brooks

local-ish

local-ish

TBD

BradDavis

brd

2017/07/28

2017/08/06

TBD

PeterGrehan

grehan

2017/08/01

2017/08/05

TBD

LiWenHsu

lwhsu

local-ish

local-ish

TBD

SevanJaniyan

sevan

local-ish

local-ish

Home

AllanJude

allanjude

2017/08/01

2017/08/06

St Cath's

JonathanLooney

jtl

2017/08/01

2017/08/04 (evening)

St Catharine's College

EdMaste

emaste

2017/07/29

2017/08/06

Churchill -> St Cath's

EdwardTomaszNapierala

trasz

local

local

local

MahdiMokhtari

mmokhi

2017-08-01

2017-08-07

TBD

Flights are reserved, Still in UK-Visa process

GeorgeNevilleNeil

gnn

local-ish

local-ish

TBD

RogerPau

royger

local

local

local

ColinPercival

cperciva

2017/07/31

2017/08/06

St. Cath's

BenedictReuschling

bcr

2017/08/01

2017/08/06

St. Cath's

HirokiSato

hrs

2017/08/01

2017/08/05

St Cath's

MatthewSeaman

matthew

2017/08/01

2017/08/05

St Cath's

DagErlingSmørgrav

des

2017-08-01

2017-08-08

St Catharine's College

BernardSpil

brnrd

2017-08-01

2017-08-06

St Catharine's College

AndrewTurner

andrew

local

local

local

RobertWatson

rwatson

local

local

local

KonradWitaszczyk

def

2017/08/01

2017/08/05

St Catharine's College

MariuszZaborski

oshogbo

2017/08/01

2017/08/05

St Catharine's College

BjoernZeeb

bz

local

local

local

KyleKneitinger

kneitinger

2017/08/01

2017/08/06

St Catherine's College

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

Notes

Michal Borysiak

oshogbo

2017/08/01

2017/08/05

St Catharine's College

Piete Brooks

rwatson

local

local

local

Miłosz Kaniewski

def

2017/08/01

2017/08/05

St Catharine's College

Brian Kidney

jonathan

TBD

TBD

TBD

Michael Lucas

rwatson

TBD

TBD

TBD

Hannes Mehnert

rwatson

local

local

local

Nanako Momiyama

gavin

TBD

TBD

TBD

Robin Randhawa

andrew

local

local

local

Mark Rutland

andrew

local

local

local

Domagoj Stolfa

rwatson

local

local

local

ArunThomas

rwatson

TBD

TBD

TBD

Jaroslaw Zurek

oshogbo

2017/08/01

2017/08/05

St Catharine's College

RobertoFernandezCueto

bcr

2017/08/01

2017/08/04

Hotel Felix

Ilya Bakulin

rwatson

2017/08/01

2017/08/06

St Catharine's College

Tom Jones

sevan

2017/08/01

2017/08/05

St Catharine's College

Deb Goodkin

emaste

2017/07/29

2017/08/06

Harvey Court

DevSummit/201708 (last edited 2017-07-24 18:13:49 by PeterGrehan)