|
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 |