Yann E. MORIN be529e2218 linux: change Device Tree prompt 10 anni fa
..
Config.ext.in bed4e27868 Config.in files: whitespace cleanup 11 anni fa
Config.in be529e2218 linux: change Device Tree prompt 10 anni fa
linux-ext-rtai.mk 1586ce3a3d apply-patches.sh: Use the "APPLY_PATCHES" variable to call the script 10 anni fa
linux-ext-xenomai.mk ed8338b868 packages: rename misc. occurrences of _OPT into _OPTS 10 anni fa
linux.mk 49b147ccbb linux: fix breakage from d4b2b032a00c9922c9efa144b014dc086a7e48f1 10 anni fa