diff --git a/external/cereal b/external/cereal
new file mode 160000
index 00000000..51cbda5f
--- /dev/null
+++ b/external/cereal
@@ -0,0 +1 @@
+Subproject commit 51cbda5f30e56c801c07fe3d3aba5d7fb9e6cca4