From 9b920255b395c1c1031910014da50583333fd290 Mon Sep 17 00:00:00 2001
From: Raphael Defosseux <raphael.defosseux@eurecom.fr>
Date: Wed, 22 Jan 2020 22:53:34 +0100
Subject: [PATCH] DOC: added kernel headers install guidelines for CentOS /
 RHEL

Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
---
 doc/BUILD.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/doc/BUILD.md b/doc/BUILD.md
index 24c9de253e..9ada32e532 100644
--- a/doc/BUILD.md
+++ b/doc/BUILD.md
@@ -105,6 +105,20 @@ Install it:
 $ sudo apt-get install --yes linux-headers-your-version
 ```
 
+On CentOS or RedHat Entreprise Linux:
+
+```bash
+$ uname -r
+3.10.0-1062.9.1.rt56.1033.el7.x86_64
+$ yum list installed | grep kernel | grep devel
+kernel-devel.x86_64              3.10.0-1062.9.1.el7         @rhel-7-server-rpms
+kernel-rt-devel.x86_64           3.10.0-1062.9.1.rt56.1033.el7
+```
+
+If your kernel is generic, install `kernel-devel` package: `sudo yum install kernel-devel`
+
+In most case, your kernel is real-time. Install `kernel-rt-devel` package: `sudo yum install kernel-rt-devel`
+
 # Building Optional Binaries
 
 ## Telnet Server