diff --git a/collects/mred/private/dynamic.ss b/collects/mred/private/dynamic.ss
index 9e34b14d..0ef4b128 100644
--- a/collects/mred/private/dynamic.ss
+++ b/collects/mred/private/dynamic.ss
@@ -4,4 +4,8 @@
 ;; It is required by mred/mred so that it gets carried
 ;; along when mred/mred is attached to a new namespace.
 
+(provide kernel-initialized)
+
 (dynamic-require ''#%mred-kernel #f)
+
+(define kernel-initialized 'done)