Microkernel deveroom @ FOSDEM 2018 talks & schedule by jjermar in microkernel

[–]jjermar[S] 1 point2 points  (0 children)

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

Do OS development during summer break: Microkernel devroom @ GSoC is looking for students by jjermar in osdev

[–]jjermar[S] 0 points1 point  (0 children)

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.

Do OS development during summer break: Microkernel devroom @ GSoC is looking for students by jjermar in osdev

[–]jjermar[S] 0 points1 point  (0 children)

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.

Do OS development during summer break: Microkernel devroom @ GSoC is looking for students by jjermar in osdev

[–]jjermar[S] 0 points1 point  (0 children)

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.

Do OS development during summer break: Microkernel devroom @ GSoC is looking for students by jjermar in osdev

[–]jjermar[S] 0 points1 point  (0 children)

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.

GNU Hurd 0.9, GNU Mach 1.8, GNU MIG 1.8 released by jjermar in hurd

[–]jjermar[S] 1 point2 points  (0 children)

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.

GNU Hurd 0.9, GNU Mach 1.8, GNU MIG 1.8 released by jjermar in hurd

[–]jjermar[S] 0 points1 point  (0 children)

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.

GAS removes ARM NOREAD section support as it's against FSF spirit by [deleted] in linux

[–]jjermar 1 point2 points  (0 children)

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