Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | MFC r302506: | ian | 2017-03-01 | 1 | -1/+0 |
* | MFC r302502, r302505: | ian | 2016-07-15 | 1 | -18/+0 |
* | Rename ARM_INTRNG and MIPS_INTRNG to INTRNG. This will help with machine | andrew | 2016-04-15 | 1 | -1/+1 |
* | Enable ARM_INTRNG on all kernel configs where we use the Generic Interrupt | andrew | 2016-02-11 | 1 | -0/+2 |
* | Create device options for the two common ARM timers. | andrew | 2015-11-21 | 1 | -0/+2 |
* | Ensure that all arm kernel configs contain ALT_BREAK_TO_DEBUGGER and not | ian | 2015-05-25 | 1 | -1/+1 |
* | Use the new gic option on all configs that need it. | andrew | 2015-05-10 | 1 | -0/+3 |
* | Clean up the ARM kernel configs to use 'include<space><tab>"file"'. | andrew | 2015-05-07 | 1 | -1/+1 |
* | Move the first batch of common armv6 options to std.armv6. | andrew | 2015-05-05 | 1 | -31/+0 |
* | Create std.arm and std.armv6 config files and include the right one from | ian | 2015-05-05 | 1 | -0/+1 |
* | Merge the common parts of the SOCKIT and SOCKIT-BERI kerenel, and mark the | andrew | 2015-04-03 | 1 | -0/+136 |