02-20-2019, 08:45 AM
If you just want to modify the kernel you do not need any development environment at all. GPU kernels are compiled using the just in time compiler from the driver. Just make sure to remove the cached binary kernel from kernels/ folder.