4 Commits

Author	SHA1	Message	Date
Serge Vakulenko	585773955b	Fix include paths in the kernel sources. ... Max32 kernel successfully compiled with kconfig utility.	2015-08-31 00:21:41 -07:00
Sergey	a234dfc7dc	Uart driver: on close, wait for output queue to drain.	2015-05-30 16:56:03 -07:00
Serge Vakulenko	1c4e562363	Added kernel configuration for PICadillo-35T board.	2014-06-23 22:15:51 -07:00
Matt Jenkins	895f96d2f7	Initial Import from SVN	2014-04-09 14:27:18 +01:00