diff options
| author | Roland Hieber <rhi@pengutronix.de> | 2020-09-15 20:59:11 +0200 |
|---|---|---|
| committer | Roland Hieber <rhi@pengutronix.de> | 2020-09-15 21:00:36 +0200 |
| commit | a11f5508aa94695f1bb9e4e1a453d2dfa76badd4 (patch) | |
| tree | 00837cb7d78263f04fdd31af8e101e37ac6bce32 /configs/platform-rpi/barebox.config | |
| parent | d29ea6b0894d26ace7083c9bb48648421ab1bfb0 (diff) | |
| download | DistroKit-a11f5508aa94695f1bb9e4e1a453d2dfa76badd4.tar.gz DistroKit-a11f5508aa94695f1bb9e4e1a453d2dfa76badd4.tar.xz | |
rpi: install kernel into /boot so that barebox can find it
(I don't know how this has worked before…?!)
Signed-off-by: Roland Hieber <rhi@pengutronix.de>
Diffstat (limited to 'configs/platform-rpi/barebox.config')
0 files changed, 0 insertions, 0 deletions