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.