A new version of the real-time Linux scheduler called SCHED_DEADLINE has been released on the Linux Kernel Mailing List. For people who missed previous submissions, it consists of a new deadline-based CPU scheduler for the Linux kernel with bandwidth isolation (resource reservation) capabilities. It supports global/clustered multiprocessor scheduling through dynamic task migrations. This new version takes into account previous comments/suggestions and is aligned to the latest mainline kernel. A video about SCHED_DEADLINE is also available on YouTube.

That's the one I googled, too. He says he started working on it in 2002 and by 2006 he still didn't have any sort of a GUI or task-switching, ie. it was merely a single-process OS. And there is no actual indication that he had done any of the coding himself -- with his clear misunderstanding of basic concepts I feel it's highly likely he has just borrowed code from others.