[kernel] r9047 - in people/waldi/dkt/lib/dkt: . config

[Bastian Blank]

Author: waldi
Date: Sun Jul  1 12:09:36 2007
New Revision: 9047

Log:
Update.


Added:
   people/waldi/dkt/lib/dkt/__init__.py
   people/waldi/dkt/lib/dkt/config/__init__.py
Modified:
   people/waldi/dkt/lib/dkt/config/interfaces.py

Added: people/waldi/dkt/lib/dkt/__init__.py
==============================================================================

Added: people/waldi/dkt/lib/dkt/config/__init__.py
==============================================================================

Modified: people/waldi/dkt/lib/dkt/config/interfaces.py
==============================================================================
--- people/waldi/dkt/lib/dkt/config/interfaces.py	(original)
+++ people/waldi/dkt/lib/dkt/config/interfaces.py	Sun Jul  1 12:09:36 2007
@@ -0,0 +1,11 @@
+from dkt.interface import Interface
+
+class IConfig(Interface):
+    pass
+
+class IImageConfig(IConfig):
+    pass
+
+class IMutableImageConfig(IImageConfig):
+    pass
+