I just committed a rather large patch that affects the kernel OS/emulations
and most machine dependent ports. I hope i have not broken anything, but
beware...

christos