We're after a small printer for use on our boat, doesn't have to be battery powered or anything like that, mains power is available. The main criterion is that it should be as small as possible because space is at a premium, I think also laser is preferable to inkjet because it will spend quite long periods idle.
So, any recommendations, obviously we want it to be Linux compatible as well, but that's about it - compact, laser, linux compatible.
Size doesn't seem to be an important criterion any more when searching for printers so it's difficult to find particularly compact ones.