aarch64-arm64 fails to build kernel 12-current raspberry pi 3

[Ronald Klop]

On Fri, 13 Jul 2018 12:15:22 +0200, tech-lists <tech-lists at zyxst.net>  
wrote:

> On 12/07/2018 19:32, Dimitry Andric wrote:
>> No, it's because sys/crypto/armv8/armv8_crypto_wrap.c includes
>> <arm_neon.h>, an intrinsics header, which in turn requires <stdint.h>.
>>  This was introduced inhttps://svnweb.freebsd.org/changeset/base/308921,
>> and at the time resulted in similar build failures, specifically when
>> one attempted to build a new kernel, without building world or a new
>> toolchain first.
>
> Hi,
>
> Ok, it's finished building and installing. The command I used was this:
>
> # make -j10 buildworld && make -j10 buildkernel KERNCONF=RPI3

What is RPI3? Mine runs GENERIC and there is no RPI3 config in  
/usr/src/sys/arm64/conf. I can find RPI2 in sys/arm/conf.

Regards,
Ronald.