On Nov 28, 2012, at 9:10 PM, Jeremy C. Reed wrote: > Here is a draft of a mkubootimage(1) man page. Please note that I do not > use this tool, but provided this manual since it was missing. Please > fill in the holes and improve this. I cc'd a few developers who I think > have used it.
ULONG_MAX should be UINT32_MAX since these fields are uint32_t.
