Hi Andy,

Andy Wingo <wingo@pobox.com> skribis:

> After some thinking, the base thing to do is just to add a warning port,
> and make warnings (non-fatal informative messages) write to that port.
> I have done this in the attached patches.  Any objections?

Ideally I’d preferred to keep current-warning-port in (system base
message), but since it’s needed in boot-9, we may have to make it
global.  Or would the following work?