From 186c619fb38f02d0b18514a2f8399cd8248e1dcc Mon Sep 17 00:00:00 2001
From: Jerry Zhao <jerryz123@berkeley.edu>
Date: Tue, 6 Jun 2023 11:53:02 -0700
Subject: devices: Switch plugin device interface to use device_factory_t

Plugins should now implement and register a device_factory_t to
configure how that device should be parsed from a FDT, and an optional
default DTS string.

This drops support for command-line flag-based device configuration
---
 ci-tests/testlib.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ci-tests')

diff --git a/ci-tests/testlib.c b/ci-tests/testlib.c
index 33eaede..6342f9d 100644
--- a/ci-tests/testlib.c
+++ b/ci-tests/testlib.c
@@ -28,7 +28,7 @@ int main()
             hartids,
             false,
             4);
-  std::vector<std::pair<reg_t, std::shared_ptr<abstract_device_t>>> plugin_devices;
+  std::vector<const device_factory_t*> plugin_devices;
   std::vector<std::string> htif_args {"pk", "hello"};
   debug_module_config_t dm_config = {
     .progbufsize = 2,
-- 
cgit v1.1