Re: [Etherboot-developers] Fix for "kernel" undefined in a FreeBSD mode

[Ken Y. <ke...@nl...>]

>Hmm ... I downloaded 4.7.20 and it wasn't aware there are two 4.7.20's :-)
>
>  770z% pwd
>  /usr/home/ambrisko/etherboot-4.7.20/src
>  770z% grep bi_kernelname *.c
>  osloader.c:        const unsigned char     *bi_kernelname;
>  osloader.c:                     info.bsdinfo.bi_kernelname = kernel;
>  osloader.c:                     info.bsdinfo.bi_kernelname = KERNEL_BUF;
>  770z% 

Ah thanks. I missed this one. Please mention the version number when
reporting bugs in future so that I don't wrongly accuse you of being out
of date.