System does not shutdown sometimes

[chikenf00t]

you can use the akm tool.
More info on this post:

Changing kernel guide

Well, you can use our very own akm tool. [image] Using this you can install almost all the kernels in the Arch repo. To boot from the kernel you can use this. If you’re using systemd-boot. If you’re using GRUB then you have to edit /etc/default/grub. Use sudo nano /etc/default/grub and change GRUB_DEFAULT=0 to GRUB_DEFAULT="1>2" So if the linux-rt is the first in the sub-menu it’ll make it boot. If you want more clarification on this use this post in StackExchange. Or you can just replace t…