<div dir="ltr">Hello team,<div><br></div><div>I am a PhD student from Rochester Institute of Technology, NY. My study involves learning about and benchmarking multikernels. We are very interested in exploring McKernel for our research.</div><div><br>We are attempting to run mckernel on Intel(R) Xeon(R) CPU E5-2683 v3 processors running CentOS Linux release 7.7.1908, kernel 3.10.0-1062.12.1.el7.x86_64.</div><div>The installation proceeds successfully but we obtain the error attached in this email from <font face="monospace">/var/log/messages</font> when trying to run <font face="monospace">sudo ./sbin/mcreboot.sh -c 1 -m 512m</font>. After this, the server becomes unresponsive and we have to reboot the server to get it working again.</div><div><br></div><div>Our guess is that the problem is captured by the following line:</div><div><font face="monospace">BUG: unable to handle kernel NULL pointer dereference at 0000000000000403</font><br></div><div>But we are not sure if this is due to some runtime error or some issue while installation. </div><div><br></div><div>Please help us in debugging and resolving this issue.</div><div></div><div><br></div><div>Thanks,</div><div>Avinash Maurya.</div></div>