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.

Contents

2017 Cambridge DevSummit ('BSDCam')

Group Photo

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 ¹

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