extern void timer_handler(smi_event_t ev);
extern void kbc_handler(smi_event_t ev);
+extern void gbl_rls_handler(smi_event_t ev);
void __firstrun_start() {
unsigned char *bp;
smi_register_handler(SMI_EVENT_DEVTRAP_KBC, kbc_handler);
smi_enable_event(SMI_EVENT_DEVTRAP_KBC);
+
+ smi_register_handler(SMI_EVENT_GBL_RLS, gbl_rls_handler);
+ smi_enable_event(SMI_EVENT_GBL_RLS);
smi_enable();