10 Commits (84becfe2c00451d114f84370f7b6b12c6594041e)

Author	SHA1	Message	Date
stevefan1999	84becfe2c0	report async errors upon kernel termination ... Port of 4a6bea479a Co-authored-by: Steve Fan <sf@m-labs.hk> Reviewed-on: M-Labs/artiq-zynq#156 Co-authored-by: stevefan1999 <sf@m-labs.hk> Co-committed-by: stevefan1999 <sf@m-labs.hk>	2021-12-06 17:38:55 +08:00
pca006132	ae07c05db4	runtime: optimize for speed and fix deadlock ... The previous method of taking the channel could cause deadlock, we now use semaphore to signal if the channel is available instead of busy polling the mutex.	2020-09-02 10:15:52 +08:00
pca006132	fa187fb37a	runtime/kernel: use mutable static for shared channel ... Mutex would prevent restart if we failed while waiting for RPC.	2020-08-25 14:51:39 +08:00
pca006132	e7752a3d6d	runtime/kernel: fixes core0 memory leak. ... Fixes #85	2020-08-06 09:39:49 +08:00
pca006132	4b6c5d5679	runtime/kernel: store DMA and cache buffer on core0. ... Closes #77.	2020-08-05 15:33:40 +08:00
pca006132	fa00ab211d	Updated zc706 dependency and fixed compiler errors.	2020-08-04 10:15:57 +08:00
Sebastien Bourdeauducq	7f983a453d	implement core device cache	2020-07-25 17:04:40 +08:00
pca006132	0ce45b145e	kernel: proper type for static shared variables. ... * Changed the KERNEL_CHANNEL_* to Mutex<T> with proper type, remove the need for unsafe. * Exposed a const pointer to KernelImage, with UnsafeCell holding the library field for unbind with interior mutability.	2020-07-24 12:24:01 +08:00
pca006132	0310421085	RTIO DMA: Compiled but not working. ... * Cache flush should be done before playback instead when getting the handler. * `csr::rtio_dma::enable_read()` would loop forever, probably bug in the gateware.	2020-07-23 17:04:15 +08:00
Astro	b3d4590eec	kernel: split into {api,control,core1,rpc}	2020-07-08 23:49:32 +02:00