Michael Weber [Fri, 27 Nov 2009 08:06:25 +0000 (09:06 +0100)]
* jk/minix:
  memtime for Minix 3


Trivial merge