Raspberry Pi kernel info

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.


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.

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.

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

Here’s Linux DietPi 4.19.93-v7+:

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+):

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

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+


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.