From 82a82c87932ab83c7245c87aabfe4c2e79467e48 Mon Sep 17 00:00:00 2001
From: Giacomo Travaglini <giacomo.travaglini@arm.com>
Date: Tue, 12 Mar 2024 16:22:21 +0000
Subject: [PATCH] configs: Change cache_partitioning.py to use PartitionManager

Change-Id: I891cc4967dc5483313bcb1179d19b37123a37ba0
Signed-off-by: Giacomo Travaglini <giacomo.travaglini@arm.com>
---
 configs/example/cache_partitioning.py | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/configs/example/cache_partitioning.py b/configs/example/cache_partitioning.py
index 2e204b225c..9a363756e8 100644
--- a/configs/example/cache_partitioning.py
+++ b/configs/example/cache_partitioning.py
@@ -162,11 +162,13 @@ system = configSystem()
 
 # create a cache to sit between the memory and traffic gen to enforce
 # partitioning policies
-partition_policy = generatePartPolicy(args)
+part_manager = PartitionManager(
+    partitioning_policies=[generatePartPolicy(args)]
+)
 system.cache = NoncoherentCache(
     size="64KiB",
     assoc=8,
-    partitioning_policies=[partition_policy],
+    partitioning_manager=part_manager,
     tag_latency=0,
     data_latency=0,
     response_latency=0,