This is an old revision of the document!


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 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!

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)

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.

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
eBPF support for FreeBSD Yutaro Hayakawa Work in progress project for implementing generic eBPF VM for FreeBSD and eBPF extension for VALE software switch.
TCP/IP formal model and testing Hannes Mehnert already 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
Practical DMA Attack Protection BrettGutstein Update on work towards an IOMMU driver that protects from DMA attacks slides

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.
Storage AllanJude any Talking about UFS and ZFS, and lower level storage bits. Also: storage crypto, GELI, ZFS encryption dependancies

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

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.

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.

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.

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.

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).

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"
}

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
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
Yutaro Hayakawa gnn TBD TBD TBD
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
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
Al Grant rwatson local local local

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.
  • devsummit/201708.1501842653.txt.gz
  • Last modified: 2017/08/04 10:30
  • by RuslanBukin