"apt-get install gator-module-dkms" works. However, another bug still exists:
https://bugs.launchpad.net/linaro-ubuntu/+bug/1028757
@Ricardo, Shall we integrate "gator-module-dkms" in future or let user manually install it?
"apt-get install gator-module-dkms" works. However, another bug still exists:
https:/ /bugs.launchpad .net/linaro- ubuntu/ +bug/1028757
@Ricardo, Shall we integrate "gator-module-dkms" in future or let user manually install it?