add ip1811 driver

hc

2023-11-22 9ca5fbcb63a8dcaee0527f96afb91dc4b4bd8fa9

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