嵌入式定时器LED1 以 0.5s 的间隔闪烁，LED2 以 1s 的时间闪烁。

好的，这是一个嵌入式系统的问题。我可以给您提供一个C语言的代码示例，用于实现这个功能：

#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
#include <stdbool.h>
#include <xc.h>

// 定义LED1和LED2的端口号
#define LED1_PORT RB0
#define LED2_PORT RB1

// 定义定时器1的计数值
#define TIMER1_COUNT_0_5S 15536
#define TIMER1_COUNT_1S 31072

// 初始化函数
void init(void)
{
    // 设置定时器1的预分频器为1:8
    T1CKPS1 = 1;
    T1CKPS0 = 1;

    // 设置定时器1的计数值为TIMER1_COUNT_0_5S
    TMR1 = TIMER1_COUNT_0_5S;

    // 启用定时器1
    TMR1ON = 1;

    // 设置LED1和LED2的端口为输出
    TRISB0 = 0;
    TRISB1 = 0;
}

// 定时器1中断服务函数
void __interrupt() isr(void)
{
    // 如果是定时器1的中断
    if (TMR1IF)
    {
        // 清除定时器1的中断标志
        TMR1IF = 0;

        // 重新设置定时器1的计数值
        TMR1 = TIMER1_COUNT_0_5S;

        // 切换LED1的状态
        LED1_PORT = !LED1_PORT;
    }
}

// 主函数
int main(void)
{
    // 初始化
    init();

    while (true)
    {
        // 如果定时器1的计数器达到TIMER1_COUNT_1S
        if (TMR1 >= TIMER1_COUNT_1S)
        {
            // 重新设置定时器1的计数值
            TMR1 = TIMER1_COUNT_0_5S;

            // 切换LED2的状态
            LED2_PORT = !LED2_PORT;
        }
    }

    return 0;
}

这个代码使用了定时器1来实现LED1的0.5s闪烁和LED2的1s闪烁。在初始化函数中，我们设置了定时器1的预分频器为1:8，并将计数值设置为TIMER1_COUNT_0_5S，启用了定时器1，并将LED1和LED2的端口设置为输出。在定时器1的中断服务函数中，我们清除了定时器1的中断标志，并重新设置了定时器1的计数值，并切换了LED1的状态。在主函数中，我们不断检查定时器1的计数器是否达到TIMER1_COUNT_1S，如果达到，就重新设置定时器1的计数值，并切换LED2的状态。