[[!meta copyright="Copyright © 2011 Free Software Foundation, Inc."]] [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable id="license" text="Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled [[GNU Free Documentation License|/fdl]]."]]"""]] [[!tag open_issue_gnumach]] There is a [[!FF_project 267]][[!tag bounty]] on this task. IRC, freenode, #hurd, 2011-02-17 task 39011c10 deallocating an invalid port 349, most probably a bug. kernel: Page fault (14), code=6 Stopped at 0x28b9c7: orb %bh,0(%ecx,%edi,2) db> [...] tschwinge: I doubt the deallocating warning is related to the later fault antrik: YOu may be right. Perhaps it'd be a good idea to add some sort of timestamp to Mach messages. Like in Linux' dmesg. Or just RDTSC (internal processor counter).