201708 [FreeBSD WIKI]

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== 2017 Cambridge DevSummit ('BSDCam') ======

**The 2017 Cambridge [[/DevSummit|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 =====

{{devsummit/201708/201708devsummitphoto.jpg?linkonly|{{devsummit/201708/20170803-devsummit-photo-small.jpg}}}}

===== Registration =====

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

Please register now at [[https://bsdcam.cl.cam.ac.uk|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 [[https://bsdcam.cl.cam.ac.uk|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  || [[DevSummit/201708/Testing|Testing]] | [[DevSummit/201708/Capsicum|Capsicum]] | [[DevSummit/201708/Architectures_embedded|Architectures & embedded systems]] | [[DevSummit/201708/Teaching|Teaching]] |
| 12:00pm | ::: |  Lunch  ||  Lunch (group photo)  ||  Lunch  ||
| 1:00pm | ::: | [[DevSummit/201708/Toolchain|Toolchain]] | [[DevSummit/201708/Virtualization|Virtualization]] | [[DevSummit/201708/Desktop|Desktop, Wifi and user-friendliness]] | [[DevSummit/201708/Tracing|Tracing]] | [[DevSummit/201708/Provisioning_Mgmt_Tools|Provisioning & Management tools]] | **FW11**: [[DevSummit/201708/Storage|Storage]] |
| 2:45pm | ::: |  Coffee  ||||||
| 3:15pm | ::: | [[DevSummit/201708/Transport|Transport]] | [[DevSummit/201708/Security_mitigation|Security mitigation]] | [[DevSummit/201708/Packaging|Packaging]] | [[DevSummit/201708/Architectural_security_features|Architectural security features]] | **LT2**: [[#Short_Talks|Short Talks]] (in Lecture Theatre 2) ||
| 5:00pm | ::: |  Break  ||||||
| 7:00pm | [[https://web.archive.org/web/20180803133729/http://www.maypolefreehouse.co.uk:80/Welcome.html|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.))  ||||||

==== 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|BrooksDavis]] | Proposing a family of interfaces to replace mmap(). | {{devsummit/201708/20170803-bsdcam-cmmap.pdf?linkonly|20170803-bsdcam-cmmap.pdf}} |
| <del>Transport Update</del> | [[/JonathanLooney|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. | [[https://docs.google.com/presentation/d/1UK0wqcpVCxrCBAOBzAVMJZ9pcdbhHQm30rn5o7QLL9Y/edit?usp=sharing|slides]] |
| <del>RISC-V updates</del> | [[/RuslanBukin|RuslanBukin]] | //(Presented in embedded session)// Short updates on latest RISC-V privilege specification support | {{devsummit/201708/freebsd_riscv_updates.pdf?linkonly|freebsd_riscv_updates.pdf}} |
| <del>Tracing update</del> | [[/AlGrant|AlGrant]] | Short updates on ARM (%%CoreSight%%) tracing and %%DynamoRIO%%: not in %%FreeBSD%%, just generally | {{devsummit/201708/bsdcam2017-hardware-trace.pdf?linkonly|bsdcam2017-hardware-trace.pdf}} |
| <del>Intel SGX support</del> | [[/RuslanBukin|RuslanBukin]] | //(Presented in architectural security features session)// Providing short overview of SGX kernel driver | {{devsummit/201708/intel_sgx_slides.pdf?linkonly|intel_sgx_slides.pdf}} |
| SDIO support | [[/IlyaBakulin|IlyaBakulin]] | Current status of the new CAM-based MMC/SD/SDIO stack and future work | {{devsummit/201708/sdio_bsdcam.pdf?linkonly|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. | [[https://docs.google.com/presentation/d/1jtqjq1x3XUOSmtBrEvZnHRgcJT6ldFmcFfdChaic2VA/edit?usp=sharing|Slides]] |
| <del>TCP/IP formal model and testing</del> | 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 | {{devsummit/201708/virt_tracing.pdf?linkonly|slides}} |
| Practical DMA Attack Protection | [[/BrettGutstein|BrettGutstein]] | Update on work towards an IOMMU driver that protects from DMA attacks | {{devsummit/201708/bsdcam-dmaattacks.pdf?linkonly|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|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|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|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|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|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|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|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. |
| [[DevSummit/201708/Storage|Storage]] | [[/AllanJude|AllanJude]] | any | Talking about UFS and ZFS, and lower level storage bits. Also: storage crypto, GELI, ZFS encryption dependancies |

===== Maps =====

[[https://web.archive.org/web/20180218120729/https://www.caths.cam.ac.uk/about-us/visiting-college/maps|Maps for St. Catharine's College]]

==== William Gates Building ====

Floor plans are available here: [[http://www.cl.cam.ac.uk/maps/|Maps of the William Gates Building and surrounding area]].

You are specially interested in the 1st floor (EU/UK counting: ground, 1st, 2nd), [[http://www.cl.cam.ac.uk/maps/gates2.html|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. [[http://www.cam.ac.uk/system/files/universal_bus_route_map.pdf|Universal bus route map]], [[http://www.cam.ac.uk/system/files/universal_timetable.pdf|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: [[http://www.caths.cam.ac.uk/event/bsdcam-freebsd-developer-summit-accommodation|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.

[[http://www.rutlandcycling.com/|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 [[https://ec.europa.eu/digital-single-market/en/faq/frequently-asked-questions-roam-home|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|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 ====

<code>
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
</code>

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

</code>

===== 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|JonathanAnderson]] | jonathan | TBD | TBD | St Cath's |  |
| [[/GavinAtkinson|GavinAtkinson]] | gavin | 2017-08-01 | 2017-08-05 | St Cath's |  |
| [[/MathieuArnold|MathieuArnold]] | mat | 2017-08-01 | 2017-08-06 | St Cath's |  |
| [[/KevinBowling|KevinBowling]] | kbowling | 2017-08-02 | 2017-08-04 | TBD |  |
| [[/SofianBrabez|SofianBrabez]] | sbz | 2017-08-01 | 2017-08-05 | St Catharine's College |  |
| [[/RuslanBukin|RuslanBukin]] | br | local | local | Home |  |
| [[/BrooksDavis|BrooksDavis]] | brooks | local-ish | local-ish | TBD |  |
| [[/BradDavis|BradDavis]] | brd | 2017/07/28 | 2017/08/06 | TBD |  |
| [[/PeterGrehan|PeterGrehan]] | grehan | 2017/08/01 | 2017/08/05 | TBD |  |
| [[/LiWenHsu|LiWenHsu]] | lwhsu | local-ish | local-ish | TBD |  |
| [[/SevanJaniyan|SevanJaniyan]] | sevan | local-ish | local-ish | Home |  |
| [[/AllanJude|AllanJude]] | allanjude | 2017/08/01 | 2017/08/06 | St Cath's |  |
| [[/KyleKneitinger|KyleKneitinger]] | kneitinger | 2017/08/01 | 2017/08/06 | St Catherine's College |  |
| [[/JonathanLooney|JonathanLooney]] | jtl | 2017/08/01 | 2017/08/04 (evening) | St Catharine's College |  |
| [[/EdMaste|EdMaste]] | emaste | 2017/07/29 | 2017/08/06 | Churchill -> St Cath's |  |
| [[/EdwardTomaszNapierala|EdwardTomaszNapierala]] | trasz | local | local | local |  |
| [[/MahdiMokhtari|MahdiMokhtari]] | mmokhi | 2017-08-01 | 2017-08-07 | TBD | Flights are reserved, Still in UK-Visa process |
| [[/GeorgeNevilleNeil|GeorgeNevilleNeil]] | gnn | local-ish | local-ish | TBD |  |
| [[/RogerPau|RogerPau]] | royger | local | local | local |  |
| [[/ColinPercival|ColinPercival]] | cperciva | 2017/07/31 | 2017/08/06 | St. Cath's |  |
| [[/BenedictReuschling|BenedictReuschling]] | bcr | 2017/08/01 | 2017/08/06 | St. Cath's |  |
| [[/HirokiSato|HirokiSato]] | hrs | 2017/08/01 | 2017/08/05 | St Cath's |  |
| [[/MatthewSeaman|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|BernardSpil]] | brnrd | 2017-08-01 | 2017-08-06 | St Catharine's College |  |
| [[/AndrewTurner|AndrewTurner]] | andrew | local | local | local |  |
| [[/RobertWatson|RobertWatson]] | rwatson | local | local | local |  |
| [[/KonradWitaszczyk|KonradWitaszczyk]] | def | 2017/08/01 | 2017/08/05 | St Catharine's College |  |
| [[/MariuszZaborski|MariuszZaborski]] | oshogbo | 2017/08/01 | 2017/08/05 | St Catharine's College |  |
| [[/BjoernZeeb|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|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|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|ArunThomas]] | rwatson | TBD | TBD | TBD |  |
| Jaroslaw Zurek | oshogbo | 2017/08/01 | 2017/08/05 | St Catharine's College |  |