Raspberry Pi kernel info

Have some feedback, questions, suggestions, or just fancy a chat? Pop it in here.
Post Reply
bernardoaraujor
Posts: 2
Joined: Wed Jan 22, 2020 12:19 pm

Raspberry Pi kernel info

Post by bernardoaraujor »

I know the DietPi team does not compile kernels, but they must get it from somewhere.

I'm doing some benchmarking and I need to know which kernel is used for the Raspberry Pi.
It seems to perform differently from the Raspbian kernel.

It would be great to know which compile configurations were used to build it.
User avatar
Joulinar
Posts: 2582
Joined: Sat Nov 16, 2019 12:49 am

Re: Raspberry Pi kernel info

Post by Joulinar »

Hi,

many thanks for your report.

DietPi for PRi is based on Raspbian Lite. Therefore the standard Raspbian kernel is used. There is nothing special or changed on DietPi.
Pls let us know if a solution is working. This could help others if they hit by similar situation. Your DietPi Team
User avatar
MichaIng
Site Admin
Posts: 2422
Joined: Sat Nov 18, 2017 6:21 pm

Re: Raspberry Pi kernel info

Post by MichaIng »

Could you explain what exactly behaves differently or which benchmarks differ? My first guess it that it is due to different CPU governor settings, not related to kernel/parameters but CPUfreq values applied after boot.
bernardoaraujor
Posts: 2
Joined: Wed Jan 22, 2020 12:19 pm

Re: Raspberry Pi kernel info

Post by bernardoaraujor »

I've been mainly looking at MemTotal of /proc/meminfo

Here's Linux DietPi 4.19.93-v7+:

Code: Select all

MemTotal:         999036 kB
MemFree:          776620 kB
MemAvailable:     890256 kB
Buffers:           28668 kB
Cached:           125360 kB
SwapCached:         3676 kB
Active:            64340 kB
Inactive:         102292 kB
...
And here's Raspbian (Linux raspberrypi 4.19.75-v7+):

Code: Select all

MemTotal:         948304 kB
MemFree:          771952 kB
MemAvailable:     829356 kB
Buffers:           17340 kB
Cached:            94792 kB
SwapCached:            0 kB
Active:            83104 kB
Inactive:          40868 kB
Active(anon):      12080 kB
Inactive(anon):    17912 kB
...
User avatar
Joulinar
Posts: 2582
Joined: Sat Nov 16, 2019 12:49 am

Re: Raspberry Pi kernel info

Post by Joulinar »

as already stated above. There is no own DietPi kernel. DietPi for Raspberry devices is based in Raspbian Lite. Therefore the standard Raspbian kernel is used.

4.19.93-v7+ new Raspbian kernel that was released some days ago by Raspbian

4.19.75-v7 old Raspbian kernel that can be updated to 4.19.93-v7+

https://www.raspberrypi.org/documentati ... pdating.md
Pls let us know if a solution is working. This could help others if they hit by similar situation. Your DietPi Team
User avatar
MichaIng
Site Admin
Posts: 2422
Joined: Sat Nov 18, 2017 6:21 pm

Re: Raspberry Pi kernel info

Post by MichaIng »

The different memory sizes are due to different GPU memory shares:
- The default value is 64 MiB for GPU, which is default on Raspbian.
- DietPi is shipped with only 16 MiB for GPU, as long as no desktop and graphical application is installed, hence more RAM left for system.

But this can be easily adjusted via dietpi-config or config.txt.
Post Reply