> So the bug describe in the mailing list is'nt mine .... I tryed to > find gnumach source to compile a new kernel but all debian mirror > doesn't have it (source rep is empty). That's why I'am calling you : If `apt-get source gnumach' does not work for you, maybe you need to run `apt-get update'.