[Mckernel-users 42] Debugging mckernel installation and boot

[Avinash Maurya (RIT Student)]

Hello team,

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.

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.
The installation proceeds successfully but we obtain the error attached in
this email from /var/log/messages when trying to run sudo
./sbin/mcreboot.sh -c 1 -m 512m. After this, the server becomes
unresponsive and we have to reboot the server to get it working again.

Our guess is that the problem is captured by the following line:
BUG: unable to handle kernel NULL pointer dereference at 0000000000000403
But we are not sure if this is due to some runtime error or some issue
while installation.

Please help us in debugging and resolving this issue.

Thanks,
Avinash Maurya.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.pccluster.org/pipermail/mckernel-users/attachments/20200601/2bc7bd69/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: mckernel-dmesg.log
Type: text/x-log
Size: 6206 bytes
Desc: not available
URL: <http://www.pccluster.org/pipermail/mckernel-users/attachments/20200601/2bc7bd69/attachment.bin>