bb5f21ee99
eudyptula: Bump to 4.16.2-gf90e7b5c8b8c.
2018-04-22 15:07:30 +02:00
21f124827b
eudyptula: Bump to 4.15.12 and drop /dev/mem protections.
2018-03-25 17:08:27 +02:00
d543a1de75
eudyptula: Bump to 4.15.5-ga43ba92571cf.
2018-02-24 16:47:35 +01:00
85a519206d
eudyptula: Bump the config to 4.15.0-rc9.
...
This config actually ran some days (and the system was just shut
down for external reasons). There are still some flaws though that
will be addressed later.
2018-01-31 16:00:28 +01:00
dcd9a58c66
eudyptula: Bump to 4.12.7-g0d9ed68fbe, -CONFIG_IO_STRICT_DEVMEM.
2017-08-17 22:11:28 +02:00
82a121ecfa
eudyptula: Add config for 4.12.4-raspberrypi (i.e. raspberrypi-sources:4.12.9999).
2017-08-07 23:41:47 +02:00
