用C51单片机如何配置一个按键作为INT0外部中断源，并配合单位数码管实时显示该中断发生的次数（范围为0-9）？当计数达到5时，还需触发LED灯闪一次，请提供详细的步骤和代码实现指导。

在C51单片机中，配置按键作为INT0外部中断源并实现实时计数及LED灯控制，需要经历以下几个步骤：

1. **硬件连接**：
- 将你要使用的按键连接到P0口或其他可用的输入端口，通常INT0的输入引脚接至单片机的低电平有效中断。
- LED灯连接到IO口的一个输出位，比如P1.0。
- 数码管的各个段需要分别接到单片机的另一个I/O口，如P1、P2等。

2. **初始化**：
- 设置INT0为下降沿触发（如果是上拉模式），`EA=1`打开总中断，`IT0=1`设置INT0为外部中断。
- 对数码管进行初始化，设置各段驱动状态。

void init_GPIO(void) {
    TRISC = 0b00000000; // P0口设为输入
    TRISB = 0b10000000; // P1.0口设为输出
    DDRD |= 0x0F; // 数码管各段选通
}

3. **中断服务程序**（ISR）：
- 当INT0检测到按键按下时，计数器加一，并更新数码管显示。
- 当计数器等于5时，点亮LED灯。

sbit key Pin P0; // 按键引脚
volatile uint8_t count = 0; // 计数器

void interrupt() __attribute__((interrupt(" ExternalInt0" ))) {
    if (key == 0) { // 按键释放才会触发中断
        ++count;
        update_LCD(count); // 更新数码管显示
        if (count == 5) {
            P1_0 = !P1_0; // 点亮LED
            delay_ms(100); // LED闪烁
            P1_0 = 0; // LED熄灭
            count = 0; // 重置计数
        }
    }
}

void update_LCD(uint8_t digit) {
    // 根据digit更新数码管显示代码，这里省略实际操作数码管的函数细节
}

4. **主循环**：
- 主函数中保持程序正常运行，处理其他任务。

int main(void) {
    init_GPIO();
    while (1) {
        // 主循环体...
    }
}