diff --git a/specs/SUMMARY.md b/specs/SUMMARY.md
index 46102e8b3..84bff8355 100644
--- a/specs/SUMMARY.md
+++ b/specs/SUMMARY.md
@@ -75,6 +75,7 @@
       - [Derivation](./protocol/jovian/derivation.md)
       - [L1 Attributes](./protocol/jovian/l1-attributes.md)
       - [System Config](./protocol/jovian/system-config.md)
+    - [Karst](./protocol/karst/overview.md)
 - [Governance]()
   - [Governance Token](./governance/gov-token.md)
   - [MintManager](./governance/mint-manager.md)
diff --git a/specs/protocol/karst/overview.md b/specs/protocol/karst/overview.md
index 0d99fea2d..d14fef50c 100644
--- a/specs/protocol/karst/overview.md
+++ b/specs/protocol/karst/overview.md
@@ -13,4 +13,13 @@ This document is not finalized and should be considered experimental.
 
 ## Execution Layer
 
+- [Osaka](https://eips.ethereum.org/EIPS/eip-7607) (Execution Layer):
+  - [EIP-7642](https://eips.ethereum.org/EIPS/eip-7642)
+  - [EIP-7823](https://eips.ethereum.org/EIPS/eip-7823)
+  - [EIP-7825](https://eips.ethereum.org/EIPS/eip-7825)
+  - [EIP-7883](https://eips.ethereum.org/EIPS/eip-7883)
+  - [EIP-7910](https://eips.ethereum.org/EIPS/eip-7910)
+  - [EIP-7939](https://eips.ethereum.org/EIPS/eip-7939)
+  - [EIP-7951](https://eips.ethereum.org/EIPS/eip-7951)
+
 ## Consensus Layer