Closed pizzooid closed 8 years ago
This commit should allow the use of different kernels at runtime.
Could you submit this pull request to the develop branch? We are now only using the master branch for official releases.
This commit should allow the use of different kernels at runtime.