From 3020e26e00c59209f9449855c8396af6753f2191 Mon Sep 17 00:00:00 2001
From: Hector Martin <marcan@marcan.st>
Date: Tue, 19 Apr 2022 23:42:22 +0900
Subject: [PATCH] dart: Announce real-time DARTs

Mostly just for reference.

Signed-off-by: Hector Martin <marcan@marcan.st>
---
 src/dart.c | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/dart.c b/src/dart.c
index a112c162..d482f0c5 100644
--- a/src/dart.c
+++ b/src/dart.c
@@ -157,6 +157,13 @@ dart_dev_t *dart_init_adt(const char *path, int instance, int device, bool keep_
         dart->offset_mask = DART_PTE_OFFSET_T6000;
     }
 
+    if (adt_getprop(adt, node, "real-time", NULL)) {
+        for (int i = 0; i < 4; i++) {
+            printf("dart: dart %s.%d.%d L1 %d is real-time at %p\n", path, instance, device, i,
+                   dart->l1[i]);
+        }
+    }
+
     return dart;
 }