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

From: tech-lists <tech-lists_at_zyxst.net>
Date: Sat, 14 Jul 2018 12:24:21 +0100
On 14/07/2018 11:15, Ronald Klop wrote:
> 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.

RPI3 is the same as GENERIC-NODEBUG, apart from the ident string which 
is also RPI3. (was mentioned at the start of the thread which branched off)

-- 
J.
Received on Sat Jul 14 2018 - 09:24:32 UTC

This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:41:17 UTC