diff --git a/html/kernel.html b/html/kernel.html
index 813c7c0c49ff11273fb5266e46d31d1b2cdc0d28..7c2c97b0086e192ea58fbd5fd56b21b5d1c9e1be 100755
--- a/html/kernel.html
+++ b/html/kernel.html
@@ -27,7 +27,7 @@ title: Kernel & Plugins - Frama-C
           <p>WIP (TA)</p>
 
           <p>The Frama-C kernel acts as a <em>lingua franca</em> for all <a href=
-          "https://framac-staging.eu-staging.kacdn.net/kernel-plugin/">Frama-C plugins</a>. A software analysis platform that
+          "https://frama-c.frama-c.com/html/kernel-plugin.html">Frama-C plugins</a>. A software analysis platform that
           checks security, verifies requirements, and guarantees trust in C programs.</p>
 
           <p>Frama-C is a source code analysis platform that aims at conducting verification of industrial-size C programs. It