diff --git a/docs.it4i/anselm/software/operating-system.md b/docs.it4i/anselm/software/operating-system.md
index 6ecbcdabd665b51018b453e7fd043c161dfef3fe..e43800e0d038882270620ccb8e95d50df94a5b71 100644
--- a/docs.it4i/anselm/software/operating-system.md
+++ b/docs.it4i/anselm/software/operating-system.md
@@ -1,5 +1,3 @@
 # Operating System
 
-The operating system on Anselm is Linux - **bullx Linux Server release 6.x**
-
-bullx Linux is based on Red Hat Enterprise Linux. bullx Linux is a Linux distribution provided by Bull and dedicated to HPC applications.
+The operating system on Anselm is Linux - [**Red Hat Enterprise Linux release 6.x**](https://en.wikipedia.org/wiki/Red_Hat_Enterprise_Linux).
diff --git a/docs.it4i/salomon/software/operating-system.md b/docs.it4i/salomon/software/operating-system.md
index 1cf18dfda159662b5ceb8db420bbfc30476e3ff7..f68a9a97aac216dd727e0973d3ac56754726b90a 100644
--- a/docs.it4i/salomon/software/operating-system.md
+++ b/docs.it4i/salomon/software/operating-system.md
@@ -1,5 +1,5 @@
 # Operating System
 
-The operating system on Salomon is Linux - **CentOS 6.x**
+The operating system on Salomon is Linux - [**CentOS 6.x**](https://en.wikipedia.org/wiki/CentOS)
 
 The CentOS Linux distribution is a stable, predictable, manageable and reproducible platform derived from the sources of Red Hat Enterprise Linux (RHEL).