This is not a lunch break

The devroom is not supposed to schedule a lunch break. Let's do something different then.

Let's do some microkernel-related networking while eating in the devroom!