s anybody removed the kernel stack double-mapping from the i386 port? I need a kernel stack mapping that is valid at interrupt time. To my knowledge this has already been done on other ports. Any pointers appreciated. -- Juergen Hannken-Illjes - hannken@eis.cs.tu-bs.de - TU Braunschweig (W Germany)