Index: /trunk/src/VBox/Devices/PC/DevPIC.cpp
===================================================================
--- /trunk/src/VBox/Devices/PC/DevPIC.cpp	(revision 35072)
+++ /trunk/src/VBox/Devices/PC/DevPIC.cpp	(revision 35073)
@@ -136,4 +136,7 @@
     /** Pointer to the PIC RC helpers. */
     PCPDMPICHLPRC           pPicHlpRC;
+    /** Number of release log entries. Used to prevent flooding. */
+    uint32_t                cRelLogEntries;
+    uint32_t                u32AlignmentPadding;
 #ifdef VBOX_WITH_STATISTICS
     STAMCOUNTER             StatSetIrqGC;
@@ -489,5 +492,6 @@
                 AssertReleaseMsgFailed(("single mode not supported"));
             if (val & 0x08)
-                AssertReleaseMsgFailed(("level sensitive irq not supported"));
+                if (pThis->cRelLogEntries++ < 64)
+                    LogRel(("pic_write: Level sensitive IRQ setting ignored.\n"));
         } else if (val & 0x08) {
             if (val & 0x04)
@@ -944,4 +948,5 @@
     pThis->aPics[0].pDevInsRC = PDMDEVINS_2_RCPTR(pDevIns);
     pThis->aPics[1].pDevInsRC = PDMDEVINS_2_RCPTR(pDevIns);
+    pThis->cRelLogEntries = 0;
 
     /*