9b2c10bc06
Instead of downloading a different version of the kernel for the headers as
for the runtime kernel itself, use the same one. By doing so, we now need
to add the hash file for linux-headers.
Signed-off-by: Dario Binacchi <dario.binacchi@amarulasolutions.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
(cherry picked from commit
|
||
|---|---|---|
| .. | ||
| common | ||
| stm32f429-disco | ||
| stm32f469-disco | ||
| stm32f769-disco | ||
| stm32mp157a-dk1 | ||
| stm32mp157c-dk2 | ||