--- nono/vm/pluto.h	2026/04/29 17:04:45	1.1.1.5
+++ nono/vm/pluto.h	2026/04/29 17:04:55	1.1.1.7
@@ -9,8 +9,7 @@
 #include "device.h"
 #include <sys/time.h>
 
-class PlutoDevice
-	: public IODevice
+class PlutoDevice : public IODevice
 {
 	using inherited = IODevice;
  public:
@@ -46,3 +45,5 @@ class PlutoDevice
 	timeval m_start {};
 	timeval m_total {};
 };
+
+extern std::unique_ptr<PlutoDevice> gPluto;