From b3f4255cd31f36310383ccd1d874c2cf8dce650c Mon Sep 17 00:00:00 2001
From: Andrew David Wong <adw@qubes-os.org>
Date: Sat, 24 Sep 2016 17:56:57 -0700
Subject: [PATCH] Clean up text and fix formatting
---
managing-os/linux-hvm-tips.md | 24 ++++++++++++++----------
1 file changed, 14 insertions(+), 10 deletions(-)
diff --git a/managing-os/linux-hvm-tips.md b/managing-os/linux-hvm-tips.md
index f07400d2..554fbbb3 100644
--- a/managing-os/linux-hvm-tips.md
+++ b/managing-os/linux-hvm-tips.md
@@ -11,14 +11,18 @@ redirect_from:
Tips for Linux in HVM domain
============================
-Fixing bootup kernel error `BUG: soft lockup - CPU#0 stuck for 23s! [systemd-udevd:244]`
-----------------------------------------------------------------------------------------
-*Tested with Qubes R3.2-RC3*
-Issue may be related to "bochs_drm" video driver.
+How to fix bootup kernel error
+-------------------------------
-To fix:
+This concerns the following:
+
+ BUG: soft lockup - CPU#0 stuck for 23s! [systemd-udevd:244]
+
+This has been tested with Qubes `R3.2-RC3`. Note that the issue may be related
+to the `bochs_drm` video driver. To fix this:
+
+1. Edit the file `/etc/default/grub`.
-1. Edit the file /etc/default/grub
2. Find the line which starts:
~~~
@@ -32,19 +36,19 @@ To fix:
~~~
4. Add this text to that line:
-
+
~~~
modprobe.blacklist=bochs_drm
~~~
-5. Run this command:
+5. Run this command:
~~~
grub2-mkconfig --output=/boot/grub2/grub.cfg
~~~
-The HVM should no longer display the error if it's related to the "bochs_drm" kernel driver.
-
+The HVM should no longer display the error if it's related to the `bochs_drm`
+kernel driver.
Screen resolution
-----------------