2017 Cambridge DevSummit ('BSDCam')

The 2017 Cambridge DevSummit took place from 2-4 August 2017. The event took place over three days including a formal dinner at St John's College, and was attended by 55 registered developers and guests, with a few other local visitors stopping through. Notes and slides from the working-group sessions and talks are now largely online. We anticipate that BSDCam 2018 will take place in July or August 2018 at the Computer Laboratory, with details to follow in late 2017 or early 2018.

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

attachment:201708DevSummitPhoto.jpg

Registration

Registration is now closed as we have filled the available space.

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. We are grateful to the University of Cambridge, Google, and the FreeBSD Foundation for their sponsorship, which helps keep registration fees low!

Group Photo

Schedule

This is a copy of the schedule posted on the BSDCam website. The devsummit is held in the same location as previous years, the William Gates Building, 15 JJ Thomson Avenue, Cambridge.

Tuesday 1st

Wednesday 2nd

Thursday 3rd

Friday 4th

GS15

SW01

FW26

SW01

FW26

SW01

FW26

9:00am

Docsprint & Hackathon

Registration/Breakfast/Coffee

Breakfast/Coffee

Breakfast/Coffee

10:00am

Welcome/Planning

Testing

Capsicum

Architectures & embedded systems

Teaching

12:00pm

Lunch

Lunch (group photo)

Lunch

1:00pm

Toolchain

Virtualization

Desktop, Wifi and user-friendliness

Tracing

Provisioning & Management tools

FW11: Storage

2:45pm

Coffee

3:15pm

Transport

Security mitigation

Packaging

Architectural security features

LT2: Short Talks (in Lecture Theatre 2)

5:00pm

Break

7:00pm

The Maypole

Do your own thing!

Devsummit Dinner, St John's College

Do your own thing!

Evening

-

Hacker Lounge: unofficial use of the OCR (above dining room), St Catherine's College 1

  1. We don't officially have use of the OCR, but it has been open and if it is locked we can ask the night porter nicely and he may open it for us. (1)

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 family of interfaces to replace mmap().

20170803-bsdcam-cmmap.pdf

Transport Update

JonathanLooney

(Presented in transport session) 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.

slides

RISC-V updates

RuslanBukin

(Presented in embedded session) Short updates on latest RISC-V privilege specification support

freebsd_riscv_updates.pdf

Tracing update

AlGrant

Short updates on ARM (CoreSight) tracing and DynamoRIO: not in FreeBSD, just generally

bsdcam2017-hardware-trace.pdf

Intel SGX support

RuslanBukin

(Presented in architectural security features session) Providing short overview of SGX kernel driver

intel_sgx_slides.pdf

SDIO support

IlyaBakulin

Current status of the new CAM-based MMC/SD/SDIO stack and future work

sdio_bsdcam.pdf

eBPF support for FreeBSD

Yutaro Hayakawa

Work-in-progress project for implementing generic eBPF VM for FreeBSD and eBPF extension for VALE software switch.

Slides

TCP/IP formal model and testing

Hannes Mehnert

(Presented in transport session) - see https://www.cl.cam.ac.uk/~pes20/HuginnTCP/ and talk to me if interested

Tracing + Virtualization

Lucian Carata & Domagoj Stolfa

Tracing virtual machines from the perspective of the host and some implications of it

slides

Practical DMA Attack Protection

BrettGutstein

Update on work towards an IOMMU driver that protects from DMA attacks

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

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, RobertWatson/NetworkTodo 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.

Storage

AllanJude

any

Talking about UFS and ZFS, and lower level storage bits. Also: storage crypto, GELI, ZFS encryption dependancies

Maps

Maps for St. Catharine's College

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

Note for EU/EEA residents: The EU's “Roam like at home” regulation abolished roaming charges for all EU/EEA countries starting 2017-06-15. However, some carriers compensated by adding a flat fee for roaming. Check with your carrier that your plan includes roaming. See also the EU's FAQ on RLAH.

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

2017-08-01

2017-08-05

St Cath's

MathieuArnold

mat

2017-08-01

2017-08-06

St Cath's

KevinBowling

kbowling

2017-08-02

2017-08-04

TBD

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

KyleKneitinger

kneitinger

2017/08/01

2017/08/06

St Catherine's College

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

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

Ilya Bakulin

rwatson

2017/08/01

2017/08/06

St Catharine's College

Michal Borysiak

oshogbo

2017/08/01

2017/08/05

St Catharine's College

Piete Brooks

rwatson

local

local

local

RobertoFernandezCueto

bcr

2017/08/01

2017/08/04

Hotel Felix

Deb Goodkin

emaste

2017/07/29

2017/08/06

Harvey Court

Al Grant

rwatson

local

local

local

BrettGutstein

rwatson

2017/08/01

2017/08/05

Sidney Sussex College

Yutaro Hayakawa

gnn

TBD

TBD

TBD

Tom Jones

sevan

2017/08/01

2017/08/05

St Catharine's College

Miłosz Kaniewski

def

2017/08/01

2017/08/05

St Catharine's College

Brian Kidney

jonathan

2017/07/30

2017/08/05

St Catharine's College

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

DevSummit/201708 (last edited 2022-06-08T00:40:34+0000 by KubilayKocak)