To use PolyGerrit, please enable JavaScript in your browser settings, and then refresh this page. kernel/arm: use generic/user_memory.h (I890bdd7d) ยท Gerrit Code Review