diff --git a/util/WORKSPACE.toplevel b/util/WORKSPACE.toplevel
new file mode 100644
index 000000000..58f81bba0
--- /dev/null
+++ b/util/WORKSPACE.toplevel
@@ -0,0 +1 @@
+workspace(name = "boringssl")