newper wrote:
> the system just reboot.

At which point does it reboot?  Which gnumach are you using?  Debian's?
gnumach-1-branch's?

Samuel


Reply via email to