From 930c61a33f9df3bbc52512af5c54c3a9ebe99025 Mon Sep 17 00:00:00 2001
From: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Date: Mon, 8 Jul 2024 15:28:06 +0200
Subject: [PATCH] Changed CV_CORE_TAG to final CV32E40P RTL tag.

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
---
 cv32e40p/sim/ExternalRepos.mk | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/cv32e40p/sim/ExternalRepos.mk b/cv32e40p/sim/ExternalRepos.mk
index ed088f9f11..aa542acde9 100644
--- a/cv32e40p/sim/ExternalRepos.mk
+++ b/cv32e40p/sim/ExternalRepos.mk
@@ -14,9 +14,9 @@
 export SHELL = /bin/bash
 
 CV_CORE_REPO   ?= https://github.com/openhwgroup/cv32e40p
-CV_CORE_BRANCH ?= dev
+CV_CORE_BRANCH ?= master
 CV_CORE_HASH   ?= head
-CV_CORE_TAG    ?= none
+CV_CORE_TAG    ?= cv32e40p_v1.8.3
 
 # The CV_CORE_HASH above points to version of the RTL that is newer.
 # It is logically equivalent with respect to v1.0.0 RTL freeze version with all parameters disabled.