Another thing -- I tried building the kernel modules from source as given in the link and it succeeds. So this is not a bug report for the ose-module build failing.
Another thing -- I tried building the kernel modules from source as given in the link and it succeeds.
So this is not a bug report for the ose-module build failing.