Jonathan Stone wrote:

> 
> Okay, makes sense. How about we:
> 
>     i) Add a note (to LAST_MINUTE)  explaining what' sgoing on and
>        warning people that this is okay;
> 
>    ii) tell people to use ELF format kernels if they want
>        ddb debugging symbols;

Yah, good ideas.  I'll get on to that now.

>   iii) file a PR that our bootblocks dont grok ECOFF symbols

The problem is that we don't have a netboot that groks ELF kernels
yet :-)

Simon.