6 Commits

Author	SHA1	Message	Date
TXuian	2c4fe30bd3	Fix style.	2024-05-22 13:55:30 +08:00
TXuian	f4e193a738	Support Userland semaphore server	2024-05-20 14:29:22 +08:00
TXuian	0b858de120	Fix userland exit() type	2024-05-16 14:44:41 +08:00
TXuian	50ecc1e520	Finish micorkernel functions.	2024-05-01 12:12:13 +08:00
TXuian	d987bf0357	Support smp. TODO: delete all inner kernel locks.	2024-03-15 16:01:30 +08:00
TXuian	5f9478251b	support zynq7000-zc702	2024-03-05 15:24:06 +08:00