plan9

Plan9 Operating System

Plan9 from Bell Labs is an open-source distributed system from the creators of Unix. I love the design of this operating system and I am still working with it.

I contributed to it at several points, mostly to fix problems I encountered while using it. It is still a very pleasant moment to use it. Here I present some of my works related to Plan9…

9vx

June 2010

After a year to heal from a burn-out, I came back to my roots and worked on Plan9. I found and fixed a nasty bug in 9vx, a port of the Plan 9 kernel to the vx32 user-mode virtualization environment.

The problem was related the process scheduler of Plan9, because the authors of 9vx made false assumptions about the thread scheduler of the operating system. It was a very complicated bug to identify and to debug. I give more explanations on the comp.os.plan9 archived mailing list.

VIA Gigabit Ethernet Driver

Summer 2006

I had a ABit AV8 Motherboard that came with a VIA Gigabit ethernet driver. I could not resist to steal some register defines from FreeBSD, and do my own implementation of the driver.

ATI/AMD Radeon Driver

June 2003

I still have this great ATI Radeon 4600 video card, and the its DVI ports.

Matrox G4[50]0 Driver

August 2001

This is my first published code for Plan9. Matrox sent me the documentation of the G400 graphic chipset. It was very interesting to work on this code.