Re: CURRENT broken on Raspberry Pi 2?

["Herbert J. Skuhra" <herbert%gojira.at@localhost>]

On Sun, Feb 10, 2019 at 12:06:44PM +0100, Herbert J. Skuhra wrote:
> Hi,
> 
> I am trying upgrade my Raspberry Pi 2 from 8.99.30 to 8.99.34 (earmv6hf)
> but the new kernel does not boot. All I see on serial console is:
> 
> [   1.0000000] NetBSD/evbarm (fdt) booting ...
> [   1.0000000] [ Kernel symbol table missing! ]
> 
> Red led stays on. Do I miss some changes (e.g: u-boot)?

I am cross building on FreeBSD 12.0-STABLE (amd64).
The kernel from the daily snapshot (201902091930Z) works.

-- 
Herbert