Re: separate boot partition support

[Alessandro Rubini]

Hi.

>   But there is one thing which must be done soon: Update the docs. In
> particular, we should write a chapter about the serial terminal
> support. Alessandro, would you like to work on that?

Yes. Sorry for being so quiet, but I moved my home and lost my fixed
connection to the net; and I'm still trying to resinc with work and
lay out my new home environment.

Also, I lost my gnu.org password, so I can't commit chenges yet (I'm
waiting for address@hidden). I'll submit patches at the beginning of
next week.

/alessandro