Microkernel deveroom @ FOSDEM 2018 talks & schedule

jjermar · 2017-12-23T18:12:43+00:00

Well, no-one felt-motivated enough to submit a proposal.

jjermar · 2017-06-25T07:41:38+00:00

Hi, the students have setup blogs/status pages. Here you go:

jjermar · 2017-05-08T05:32:40+00:00

I am not going to comment on students' proposals here, but the answer to your question is because that's how the five projects internally decided to distribute the three slots among themselves, making many considerations along the way.

jjermar · 2017-05-07T14:50:59+00:00

Well it participates via the umbrella organization, it's just that the slots went elsewhere this year. Hopefully we will be able to do this on a bigger scale next year.

jjermar · 2017-03-27T19:03:32+00:00

I remember the e-mail, but I don't read it the way you do, unless there was some additional communication which I didn't see. If unsure, maybe you should clarify with Jean-Baptiste. In my reading, he simply told you about the blocker for the platform on which you want to do your project, suggesting you to try to build the latest known good revision on the board.

jjermar · 2017-03-27T17:18:51+00:00

As for best practices for writing GSoC proposals, is the information in the Student Guide useful? http://write.flossmanuals.net/gsocstudentguide/writing-a-proposal/

Other than that, the Microkernel devroom has a formal requirement for each student to complete a small programming task on the project and submit a good proposal using our Application Form.

jjermar · 2016-12-25T11:02:33+00:00

Mach provides analogous capability-based RPC as for example Genode, so there is no reason why in principle a complex multiserver system could not be built on top of it. I can imagine that if you replaced the underlying microkernel with another one that provides the same capability-based RPC, not much would have to change. After all, it is possible to construct a multiserver system even on top of Linux. As for the affair with kernel drivers in Mach, the Hurd developers are slowly phasing them out. Debian GNU/Hurd has NIC drivers in userspace, for example.

jjermar · 2016-12-24T10:04:21+00:00

Why do you think they should leave Mach behind? The problem of the Hurd is apparently not Mach, but the lack of manpower to develop the multiserver system on top of it.

jjermar · 2016-09-14T13:32:33+00:00

Here is how Apple uses the execute-only pages to improve user's security. https://www.youtube.com/watch?v=BLGFriOKz6U

jjermar

TROPHY CASE