diff options
| author | Michael Pratt <mpratt@google.com> | 2019-02-19 14:57:11 -0800 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2019-02-19 14:58:12 -0800 |
| commit | fd50504a3a7e5747c7ef459ef316b43dfc866841 (patch) | |
| tree | cb16711268974f6dfabe809d6b2ddcf90ea6b7bc /.bazelrc_rbe | |
| parent | bb47d8a545f82849f637c480459109e16be336cf (diff) | |
Rename "rdt" to "rdt_a"
The final merged patch in Linux 4.10,
4ab1586488cb56ed8728e54c4157cc38646874d9 ("x86/cpufeature: Add RDT CPUID
feature bits") named this feature "rdt_a". Earlier patch sets had named
this "rdt".
PiperOrigin-RevId: 234680481
Change-Id: I0cc968201ec9a2825701405e207994a7331322b7
Diffstat (limited to '.bazelrc_rbe')
0 files changed, 0 insertions, 0 deletions