diff --git a/Changelog b/Changelog
index f866553d17d127062880ed2edc8950e52dfc5829..d922b63db20b3d4d1f01d2274345b390f5f64e76 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,9 @@
 Open Source Release <next-release>
 ###############################################################################
 
+o!  Kernel    [2024-08-08] New Machine module to manage theMachine and machdeps.
+              Cil functions related to theMachine are deprecated.
+-!  Kernel    [2024-08-08] New minimal OCaml version: 4.14
 o!  Kernel    [2024-08-08] Plug-ins Dominators and Postdominators have been
               removed and replaced by the Dominators module in the kernel.
 -   Eva       [2024-08-06] Support for 'calls' ACSL extension