Comment Re:L4-Linux predates the filing date (Score 1) 231
but even the following was still published in time to beat the filing data http://os.inf.tu-dresden.de/pubs/sosp97/
If you look at page 8 of the application, you will see that the provisional application (Ser. No. 60/033,743) was filed Dec 23 1996.