diff --git a/xml/ha_storage_protection.xml b/xml/ha_storage_protection.xml
index 2f6eb16c3..a5516891c 100644
--- a/xml/ha_storage_protection.xml
+++ b/xml/ha_storage_protection.xml
@@ -392,49 +392,52 @@ stonith-timeout = Timeout (msgwait) + 20%
Finding the right watchdog kernel module for a given system is not
trivial. Automatic probing fails very often. As a result, many modules
are already loaded before the right one gets a chance.
-
- The following watchdog drivers are commonly used:
-
-
-
-
- hpwdt for HP
-
-
-
-
- iTCO_wdt for Dell and Lenovo (Intel TCO)
-
-
-
-
- ipmi_watchdog for Fujitsu
-
-
-
-
- vmwatchdog for VMs on IBM z/VM
-
-
-
-
- xen_xdt for Xen VMs (DomU)
-
-
-
-
- softdog for generic hardware
-
-
-
-
- If your hardware is not listed here, the directories
- /lib/modules/KERNEL_VERSION/kernel/drivers/watchdog
- and
- /lib/modules/KERNEL_VERSION/kernel/drivers/ipmi
- also give you a list of choices. Alternatively, ask your hardware or
- system vendor for details on system-specific watchdog configuration.
-
+
+
+ lists the most commonly used watchdog drivers. If your hardware is not listed here, the directories
+ /lib/modules/KERNEL_VERSION/kernel/drivers/watchdog
+ and
+ /lib/modules/KERNEL_VERSION/kernel/drivers/ipmi
+ also give you a list of choices. Alternatively, ask your hardware or
+ system vendor for details on system-specific watchdog configuration.
+
+
+ Commonly used watchdog drivers
+
+
+
+ Hardware
+ Driver
+
+
+
+
+ HP
+ hpwdt
+
+
+ Dell, Lenovo (Intel TCO)
+ iTCO_wdt
+
+
+ Fujitsu
+ ipmi_watchdog
+
+
+ VMs on IBM z/VM
+ vmwatchdog
+
+
+ Xen VMs (DomU)
+ xen_xdt
+
+
+ Generic
+ softdog
+
+
+
+
Accessing the watchdog timer