Thanks for reaching out to us. Could you please share the details of kernel which you are using ? Are you using devcloud default kernels or your custom kernel that you installed manually ? If so kindly share the steps used for accessing the kernel.
Please let me know whether your issue got resolved or not. If not, could you please share the requested details so that we can debug your issue more from our end.