add gpio

hc

2023-12-04 f33f61bdb7ca6d5ebe7a78f9d8694b91360279ac

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