@mastersthesis{Winwood:BE, address = {Sydney, Australia}, author = {Simon Winwood}, keywords = {proportional share scheduling, gang scheduling, real-time}, month = nov, note = {Available from publications page at \url{http://ts.data61.csiro.au/}}, paperUrl = {https://trustworthy.systems/publications/theses_public/00/Winwood%3ABE.ps.gz}, school = {School of Computer Science and Engineering}, title = {Flexible scheduling mechanisms in {L4}}, year = {2000} }