调整分区大小

hc

2023-03-13 2ec15ae1cb4be1b4fcb56c6d621123d7ebdaad6c

1
2
extern void hp300_sched_init(irq_handler_t vector);
extern u32 hp300_gettimeoffset(void);