Jonathan Schleifer 5213914cec

Fix flags for RPi2 ...

There's no point in tuning for the RPi1 CPU.

2015-11-07 18:07:45 +01:00

..

config_headers

kernel: profile system when SYSTEM_PROFILER is defined.

2015-07-22 20:39:52 +02:00

jam

Fix flags for RPi2

2015-11-07 18:07:45 +01:00

scripts

…