bors 5634754f1e Auto merge of #220 - malbarbo:armv4t, r=alexcrichton ... Use kernel user helpers for armv4t Rename armv5te cfg to kernel_user_helpers and enable it for armv4t.		2017-12-26 20:21:11 +00:00
..
compiler-builtins	Auto merge of #220 - malbarbo:armv4t, r=alexcrichton	2017-12-26 20:21:11 +00:00