Rodrigo Caballero c720db67d3 Doc: Change the Driver Model to its own section of the Kernel Primer. ... Moves the placeholder to the proper location. Change-Id: I952640912714073f1e0ac4a0bcb2d2b320faaee4 Signed-off-by: Rodrigo Caballero <rodrigo.caballero.abraham@intel.com>		2016-02-05 20:15:19 -05:00
arch	basic_minuteia to use HPET timer	2016-02-05 20:15:19 -05:00
doc	Doc: Change the Driver Model to its own section of the Kernel Primer.	2016-02-05 20:15:19 -05:00
drivers	Use HPET timer Kconfig options	2016-02-05 20:15:19 -05:00
include	toolchain.h: add __used macro	2016-02-05 20:15:19 -05:00
kernel	microkernel: put memory map pointers into its own binary section	2016-02-05 20:15:18 -05:00
lib
misc	Remove Kconfig option PROT_MODE_SWITCH_PROMPT	2016-02-05 20:14:45 -05:00
net
samples	Clean up microkernel sys_kernel configuration files	2016-02-05 20:15:19 -05:00
scripts	sanity: add new line when emitting an error	2016-02-05 20:15:19 -05:00
shared/include/nanokernel/x86
.gitattributes
.gitignore
.mailmap
Kconfig
Makefile
Makefile.inc
zephyr-env.sh