Who am I ?

I am a CNRS PhD candidate at the LIRMM in Montpellier. I am in the ADAC team, under the supervision of Abdoulaye Gamatié and Gilles Sassatelli. My work is funded by the ANR (project ANR-15-CE25-0007-01) for a period of 42 months, and has started in October 2015. The web page of the project is here.

What am I doing (or what I have done) ?

I have done my master's internship at the LIP6. My work was on ALMOS (Advanced Locality Management Operating System), an experimental operating system developped at the LIP6. This OS intended to investigate the scalability of the different components of an operating system on a current and future many-cores. It is design (in some parts) for the TSAR architecture, which was created by the ALSOC team too. Just before my internship, the ALMOS kernel has been re-thought and the multi-kernel approach has been choose, producing ALMOS-MK. I was in charge of implementing a task migration service across all kernel instances, without decreasing the performances of the current implementation. This internship was under the direction of Franck Wajsbürt and Mohamed Karaoui from the ALSOC team, and was funded by the SHARP european project. For more details, see Mohamed's PhD thesis.

I'm also interresed in the FreeBSD operating system. I am using it on my laptop and this server. I am planning to develop a wireless driver for one of my computer which use the Broadcom43224 card. Unfortunately, this chip is only supported on Linux.If you want to know the (mainly) differences between Linux and *BSD, see here. If you want additional (but technical) informations, I recommend you to read the FreeBSD Architecture Handbook.

I was previously developper of the Arch Hurd distribution. This distribution intends to keep the Arch philosophy and use a GNU Hurd base system (which is based on the GNU Machmicrokernel).