Two more of the DragonFly and Google Summer of Code projects: Irina Presa’s checkpointing vkernels, where you can save a running virtual kernel and start it again later, and Nick Prokharau’s port of PUFFS.
(Anyone know the HTML character code for ‘s’ with an inverted grave mark so I can spell Irina’s name correctly?)
You are looking for S-comma (#x0219;) or S-cedilla (#351;). I omitted leading ampersands in examples, they should look like this ș and ş – but WordPress probably will mess with them ;)