From 55e764090c4f980f460fb00a4f18b98a739ca0d7 Mon Sep 17 00:00:00 2001 From: Felix Mauch Date: Sun, 6 Oct 2019 17:05:10 +0200 Subject: [PATCH] Updated caption level --- ur_rtde_driver/doc/real_time.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ur_rtde_driver/doc/real_time.md b/ur_rtde_driver/doc/real_time.md index b1a8f9d..4d20802 100644 --- a/ur_rtde_driver/doc/real_time.md +++ b/ur_rtde_driver/doc/real_time.md @@ -245,7 +245,7 @@ $ sudo update-grub After having performed the above mentioned steps, reboot the PC. It should boot into the correct kernel automatically. -# Check for preemption capabilities +## Check for preemption capabilities Make sure that the kernel does indeed support real-time scheduling: ```bash