From be1a12595af49c9cba5cb3689b21767eb23fa3b1 Mon Sep 17 00:00:00 2001
From: Claire Xenia Wolf <claire@clairexen.net>
Date: Thu, 20 Oct 2022 13:50:25 +0200
Subject: [PATCH] Add missing log_dump handler for std::vector<>

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
---
 kernel/log.h | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/kernel/log.h b/kernel/log.h
index 3bc9fd978..8ef6e6d0e 100644
--- a/kernel/log.h
+++ b/kernel/log.h
@@ -419,6 +419,18 @@ static inline void log_dump_val_worker(pool<K, OPS> &v) {
 	log(" }");
 }
 
+template<typename K>
+static inline void log_dump_val_worker(std::vector<K> &v) {
+	log("{");
+	bool first = true;
+	for (auto &it : v) {
+		log(first ? " " : ", ");
+		log_dump_val_worker(it);
+		first = false;
+	}
+	log(" }");
+}
+
 template<typename T>
 static inline void log_dump_val_worker(T *ptr) { log("%p", ptr); }