[PATCH] Reserve device id for parameter server

[Hao Chen <chenhaosjtuacm@google.com>]

Use device ID 36
---
Âcontent.tex | 2 ++
Â1 file changed, 2 insertions(+)

diff --git a/content.tex b/content.tex
index 620c0e2..6bfbba1 100644
--- a/content.tex
+++ b/content.tex
@@ -2846,6 +2846,8 @@ Device ID Â& ÂVirtio Device  Â\\
Â\hline
Â35 Â Â Â Â & Â Watchdog \\
Â\hline
+36 Â Â Â Â & Â Parameter Server \\
+\hline
Â\end{tabular}
Â
ÂSome of the devices above are unspecified by this document,
--
2.30.1.766.gb4fecdf3b7-goog