Device(RTC) {		// Real Time Clock Device
                Name(_HID, EISAID("PNP0B00"))	// Hardware Device ID
                                        
                Name (_CRS,Buffer() {
                                        0x47,		// IO descriptor
                                        0x01,
                                        0x70,
                                        0x00,
                                        0x70,
                                        0x00,
                                        0x4,
                                        0x4,
                                        
                                        0x22,		// IRQ Descriptor
                                        0x0,
                                        0x1,
                                        0x79,
                                        0x0})

                        }		// End RTC