diff --git a/common/hw-gfx-framebuffer_filler.ads b/common/hw-gfx-framebuffer_filler.ads
index 228d43a..7ad3b79 100644
--- a/common/hw-gfx-framebuffer_filler.ads
+++ b/common/hw-gfx-framebuffer_filler.ads
@@ -19,6 +19,9 @@
 use type HW.Int32;
 
 package HW.GFX.Framebuffer_Filler
+with
+   Abstract_State => ((State with External), Base_Address),
+   Initializes => Base_Address
 is
 
    procedure Fill (Linear_FB : Word64; Framebuffer : Framebuffer_Type)