drivers: Remove legacy nanokernel.h include

This commit replaces the nanokernel.h include by kernel.h.

Change-Id: Ib42fbf2d9f77a73c0831f569b3dbbfb342ea2e1d
Signed-off-by: Flavio Santes <flavio.santes@intel.com>

68 files changed, 69 insertions, 68 deletions

diff --git a/drivers/adc/adc_dw.c b/drivers/adc/adc_dw.c
index cc36332b5..9186e68ce 100644
--- a/drivers/adc/adc_dw.c
+++ b/drivers/adc/adc_dw.c
@@ -19,7 +19,7 @@
 #include <errno.h>
 
 #include <init.h>
-#include <nanokernel.h>
+#include <kernel.h>
 #include <string.h>
 #include <stdlib.h>
 #include <board.h>
diff --git a/drivers/clock_control/quark_se_clock_control.c b/drivers/clock_control/quark_se_clock_control.c
index 8eceba382..e9fe613da 100644
--- a/drivers/clock_control/quark_se_clock_control.c
+++ b/drivers/clock_control/quark_se_clock_control.c
@@ -16,7 +16,7 @@
  * limitations under the License.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 
 #include <misc/__assert.h>
diff --git a/drivers/console/ram_console.c b/drivers/console/ram_console.c
index ca6e36ef4..83db8d1a2 100644
--- a/drivers/console/ram_console.c
+++ b/drivers/console/ram_console.c
@@ -17,7 +17,7 @@
  */
 
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <misc/printk.h>
 #include <device.h>
 #include <init.h>
diff --git a/drivers/console/uart_pipe.c b/drivers/console/uart_pipe.c
index 4b6b2bdc1..d8a48b647 100644
--- a/drivers/console/uart_pipe.c
+++ b/drivers/console/uart_pipe.c
@@ -21,7 +21,7 @@
  * limitations under the License.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 
 #include <board.h>
 #include <uart.h>
diff --git a/drivers/flash/soc_flash_ksdk.c b/drivers/flash/soc_flash_ksdk.c
index b7a642d81..0e42b7f1b 100644
--- a/drivers/flash/soc_flash_ksdk.c
+++ b/drivers/flash/soc_flash_ksdk.c
@@ -15,7 +15,7 @@
  */
 
 #include <misc/sys_log.h>
-#include <nanokernel.h>
+#include <kernel.h>
 #include <device.h>
 #include <string.h>
 #include <flash.h>
diff --git a/drivers/flash/soc_flash_nrf5.c b/drivers/flash/soc_flash_nrf5.c
index 71c89b688..143b20fc7 100644
--- a/drivers/flash/soc_flash_nrf5.c
+++ b/drivers/flash/soc_flash_nrf5.c
@@ -17,7 +17,7 @@
 
 #include <errno.h>
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <device.h>
 #include <init.h>
 #include <soc.h>
diff --git a/drivers/gpio/gpio_atmel_sam3.c b/drivers/gpio/gpio_atmel_sam3.c
index cb16171e5..50f2c5914 100644
--- a/drivers/gpio/gpio_atmel_sam3.c
+++ b/drivers/gpio/gpio_atmel_sam3.c
@@ -20,7 +20,7 @@
 
 #include <errno.h>
 
-#include <nanokernel.h>
+#include <kernel.h>
 
 #include <device.h>
 #include <init.h>
diff --git a/drivers/gpio/gpio_cmsdk_ahb.c b/drivers/gpio/gpio_cmsdk_ahb.c
index 084ed57a7..95f7429a4 100644
--- a/drivers/gpio/gpio_cmsdk_ahb.c
+++ b/drivers/gpio/gpio_cmsdk_ahb.c
@@ -14,7 +14,7 @@
  * limitations under the License.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 
 #include <device.h>
 #include <errno.h>
diff --git a/drivers/gpio/gpio_dw.c b/drivers/gpio/gpio_dw.c
index 617ab635c..a3c55f25e 100644
--- a/drivers/gpio/gpio_dw.c
+++ b/drivers/gpio/gpio_dw.c
@@ -16,7 +16,7 @@
 
 #include <errno.h>
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <gpio.h>
 #include "gpio_dw.h"
 #include "gpio_utils.h"
diff --git a/drivers/gpio/gpio_k64.c b/drivers/gpio/gpio_k64.c
index 4c836723c..f964af28d 100644
--- a/drivers/gpio/gpio_k64.c
+++ b/drivers/gpio/gpio_k64.c
@@ -20,7 +20,7 @@
 
 #include <errno.h>
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <device.h>
 #include <init.h>
 #include <gpio.h>
diff --git a/drivers/gpio/gpio_k64.h b/drivers/gpio/gpio_k64.h
index 9d41a4a54..dab7f0ba3 100644
--- a/drivers/gpio/gpio_k64.h
+++ b/drivers/gpio/gpio_k64.h
@@ -21,7 +21,7 @@
 #ifndef _GPIO_K64_H_
 #define _GPIO_K64_H_
 
-#include <nanokernel.h>
+#include <kernel.h>
 
 #include <gpio.h>
 
diff --git a/drivers/gpio/gpio_nrf5.c b/drivers/gpio/gpio_nrf5.c
index 45660a013..6bda91bee 100644
--- a/drivers/gpio/gpio_nrf5.c
+++ b/drivers/gpio/gpio_nrf5.c
@@ -20,7 +20,7 @@
 
 #include <errno.h>
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <device.h>
 #include <init.h>
 #include <gpio.h>
diff --git a/drivers/gpio/gpio_stm32.c b/drivers/gpio/gpio_stm32.c
index 1437c2f30..afe4b79aa 100644
--- a/drivers/gpio/gpio_stm32.c
+++ b/drivers/gpio/gpio_stm32.c
@@ -16,7 +16,7 @@
 
 #include <errno.h>
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <device.h>
 #include <soc.h>
 #include <gpio.h>
diff --git a/drivers/grove/lcd_rgb.c b/drivers/grove/lcd_rgb.c
index 6938931cb..9bdf420c0 100644
--- a/drivers/grove/lcd_rgb.c
+++ b/drivers/grove/lcd_rgb.c
@@ -15,7 +15,7 @@
  */
 
 #include <errno.h>
-#include <nanokernel.h>
+#include <kernel.h>
 #include <init.h>
 #include <stdbool.h>
 
diff --git a/drivers/i2c/i2c_atmel_sam3.c b/drivers/i2c/i2c_atmel_sam3.c
index 356932513..199d1513f 100644
--- a/drivers/i2c/i2c_atmel_sam3.c
+++ b/drivers/i2c/i2c_atmel_sam3.c
@@ -34,7 +34,7 @@
 
 #include <errno.h>
 
-#include <nanokernel.h>
+#include <kernel.h>
 
 #include <board.h>
 #include <i2c.h>
diff --git a/drivers/i2c/i2c_dw.c b/drivers/i2c/i2c_dw.c
index 70497a702..5bd83810b 100644
--- a/drivers/i2c/i2c_dw.c
+++ b/drivers/i2c/i2c_dw.c
@@ -21,7 +21,7 @@
 #include <stdbool.h>
 
 #include <i2c.h>
-#include <nanokernel.h>
+#include <kernel.h>
 #include <init.h>
 #include <arch/cpu.h>
 #include <string.h>
diff --git a/drivers/interrupt_controller/arcv2_irq_unit.c b/drivers/interrupt_controller/arcv2_irq_unit.c
index e68593910..5608c1681 100644
--- a/drivers/interrupt_controller/arcv2_irq_unit.c
+++ b/drivers/interrupt_controller/arcv2_irq_unit.c
@@ -25,9 +25,10 @@
  * interrupt unit. The ARCv2 interrupt unit is highly programmable.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 #include <board.h>
+
 extern void *_VectorTable;
 
 void _arc_v2_irq_unit_init(void)
diff --git a/drivers/interrupt_controller/i8259.c b/drivers/interrupt_controller/i8259.c
index 175d6ed9e..eb0613f83 100644
--- a/drivers/interrupt_controller/i8259.c
+++ b/drivers/interrupt_controller/i8259.c
@@ -23,7 +23,7 @@
  */
 
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 #include <toolchain.h>
 #include <sections.h>
diff --git a/drivers/interrupt_controller/ioapic_intr.c b/drivers/interrupt_controller/ioapic_intr.c
index d7d11d2a5..44f32ec0f 100644
--- a/drivers/interrupt_controller/ioapic_intr.c
+++ b/drivers/interrupt_controller/ioapic_intr.c
@@ -60,7 +60,7 @@
  *
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 
 #include "board.h"
diff --git a/drivers/interrupt_controller/loapic_intr.c b/drivers/interrupt_controller/loapic_intr.c
index 2d552a06a..7830fc4e4 100644
--- a/drivers/interrupt_controller/loapic_intr.c
+++ b/drivers/interrupt_controller/loapic_intr.c
@@ -87,7 +87,7 @@
  * INCLUDE FILES: loapic.h
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 #include <stdint.h>
 #include <string.h>
diff --git a/drivers/interrupt_controller/mvic.c b/drivers/interrupt_controller/mvic.c
index e0628b6d0..ff23168c8 100644
--- a/drivers/interrupt_controller/mvic.c
+++ b/drivers/interrupt_controller/mvic.c
@@ -42,7 +42,7 @@
 
 /* includes */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 #include <misc/__assert.h>
 #include <misc/util.h>
diff --git a/drivers/interrupt_controller/system_apic.c b/drivers/interrupt_controller/system_apic.c
index 6c9921e18..fc06f8e55 100644
--- a/drivers/interrupt_controller/system_apic.c
+++ b/drivers/interrupt_controller/system_apic.c
@@ -22,7 +22,7 @@
 
 #include <misc/__assert.h>
 #include "board.h"
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 #include <drivers/ioapic.h>
 #include <drivers/loapic.h>
diff --git a/drivers/ipm/ipm_quark_se.c b/drivers/ipm/ipm_quark_se.c
index 8d90bd61e..26e140f78 100644
--- a/drivers/ipm/ipm_quark_se.c
+++ b/drivers/ipm/ipm_quark_se.c
@@ -16,7 +16,7 @@
  * limitations under the License.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <stdint.h>
 #include <string.h>
 #include <device.h>
diff --git a/drivers/ipm/ipm_quark_se.h b/drivers/ipm/ipm_quark_se.h
index f73433a3f..5c324066f 100644
--- a/drivers/ipm/ipm_quark_se.h
+++ b/drivers/ipm/ipm_quark_se.h
@@ -20,7 +20,7 @@
 #ifndef __INCquark_se_mailboxh
 #define __INCquark_se_mailboxh
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <board.h> /* for SCSS_REGISTER_BASE */
 #include <ipm.h>
 #include <device.h>
diff --git a/drivers/pci/pci.c b/drivers/pci/pci.c
index 585d32e39..9dace10fb 100644
--- a/drivers/pci/pci.c
+++ b/drivers/pci/pci.c
@@ -79,7 +79,7 @@
  * That will work as long as there are relevant results found.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 #include <misc/printk.h>
 #include <toolchain.h>
diff --git a/drivers/pci/pci_config.c b/drivers/pci/pci_config.c
index 3a452e6e1..266cd0b0a 100644
--- a/drivers/pci/pci_config.c
+++ b/drivers/pci/pci_config.c
@@ -23,7 +23,7 @@
  *
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 
 #include <pci/pci_mgr.h>
diff --git a/drivers/pci/pci_interface.c b/drivers/pci/pci_interface.c
index 7ed0c168a..6ae9679f4 100644
--- a/drivers/pci/pci_interface.c
+++ b/drivers/pci/pci_interface.c
@@ -22,7 +22,7 @@
  * This module implements the PCI H/W access functions.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 
 #include <pci/pci_mgr.h>
diff --git a/drivers/pci/pci_legacy_bridge.c b/drivers/pci/pci_legacy_bridge.c
index 2781178fc..78cf81c34 100644
--- a/drivers/pci/pci_legacy_bridge.c
+++ b/drivers/pci/pci_legacy_bridge.c
@@ -22,7 +22,7 @@
  * detection of the bridge and using the bridge to configure the routing between
  * PCI interrupt pins and IRQs.
  */
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 
 #include <drivers/pci/pci_mgr.h>
diff --git a/drivers/pinmux/beetle/pinmux_board_v2m_beetle.c b/drivers/pinmux/beetle/pinmux_board_v2m_beetle.c
index d2a8d0514..fd236f28e 100644
--- a/drivers/pinmux/beetle/pinmux_board_v2m_beetle.c
+++ b/drivers/pinmux/beetle/pinmux_board_v2m_beetle.c
@@ -16,7 +16,7 @@
 
 #include <device.h>
 #include <init.h>
-#include <nanokernel.h>
+#include <kernel.h>
 #include <pinmux.h>
 #include <soc.h>
 #include <sys_io.h>
diff --git a/drivers/pinmux/dev/pinmux_dev_arm_beetle.c b/drivers/pinmux/dev/pinmux_dev_arm_beetle.c
index 2e58448e0..26bc1db3d 100644
--- a/drivers/pinmux/dev/pinmux_dev_arm_beetle.c
+++ b/drivers/pinmux/dev/pinmux_dev_arm_beetle.c
@@ -13,7 +13,7 @@
  * See the License for the specific language governing permissions and
  * limitations under the License.
  */
-#include <nanokernel.h>
+#include <kernel.h>
 #include <board.h>
 
 #include <device.h>
diff --git a/drivers/pinmux/dev/pinmux_dev_atmel_sam3x.c b/drivers/pinmux/dev/pinmux_dev_atmel_sam3x.c
index d1442f07e..dc4ca185d 100644
--- a/drivers/pinmux/dev/pinmux_dev_atmel_sam3x.c
+++ b/drivers/pinmux/dev/pinmux_dev_atmel_sam3x.c
@@ -13,7 +13,7 @@
  * See the License for the specific language governing permissions and
  * limitations under the License.
  */
-#include <nanokernel.h>
+#include <kernel.h>
 #include <board.h>
 
 #include <device.h>
diff --git a/drivers/pinmux/dev/pinmux_dev_k64.c b/drivers/pinmux/dev/pinmux_dev_k64.c
index b8054400a..453346509 100644
--- a/drivers/pinmux/dev/pinmux_dev_k64.c
+++ b/drivers/pinmux/dev/pinmux_dev_k64.c
@@ -18,7 +18,7 @@
 
 #include <device.h>
 #include <init.h>
-#include <nanokernel.h>
+#include <kernel.h>
 #include <pinmux.h>
 #include <soc.h>
 #include <sys_io.h>
diff --git a/drivers/pinmux/dev/pinmux_dev_stm32.c b/drivers/pinmux/dev/pinmux_dev_stm32.c
index e87325df1..3077d15c1 100644
--- a/drivers/pinmux/dev/pinmux_dev_stm32.c
+++ b/drivers/pinmux/dev/pinmux_dev_stm32.c
@@ -23,7 +23,7 @@
 
 #include <errno.h>
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <device.h>
 #include <soc.h>
 #include "pinmux.h"
diff --git a/drivers/pinmux/k64/pinmux.c b/drivers/pinmux/k64/pinmux.c
index d56811b72..01b869431 100644
--- a/drivers/pinmux/k64/pinmux.c
+++ b/drivers/pinmux/k64/pinmux.c
@@ -18,7 +18,7 @@
 
 #include <errno.h>
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <device.h>
 #include <init.h>
 #include <soc.h>
diff --git a/drivers/pinmux/k64/pinmux_board_frdm_k64f.c b/drivers/pinmux/k64/pinmux_board_frdm_k64f.c
index 5a219b522..1707f4e31 100644
--- a/drivers/pinmux/k64/pinmux_board_frdm_k64f.c
+++ b/drivers/pinmux/k64/pinmux_board_frdm_k64f.c
@@ -16,7 +16,7 @@
  * limitations under the License.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <device.h>
 #include <init.h>
 #include <sys_io.h>
diff --git a/drivers/pinmux/k64/pinmux_board_hexiwear.c b/drivers/pinmux/k64/pinmux_board_hexiwear.c
index 6de6ad681..6b0c9c61d 100644
--- a/drivers/pinmux/k64/pinmux_board_hexiwear.c
+++ b/drivers/pinmux/k64/pinmux_board_hexiwear.c
@@ -17,7 +17,7 @@
  * limitations under the License.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <device.h>
 #include <init.h>
 #include <sys_io.h>
diff --git a/drivers/pinmux/stm32/pinmux_board_carbon.c b/drivers/pinmux/stm32/pinmux_board_carbon.c
index 5b901ceb5..9da3fa130 100644
--- a/drivers/pinmux/stm32/pinmux_board_carbon.c
+++ b/drivers/pinmux/stm32/pinmux_board_carbon.c
@@ -14,7 +14,7 @@
  * limitations under the License.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <device.h>
 #include <init.h>
 #include <pinmux.h>
diff --git a/drivers/pinmux/stm32/pinmux_board_nucleo_f103rb.c b/drivers/pinmux/stm32/pinmux_board_nucleo_f103rb.c
index 694cd33d8..de3808454 100644
--- a/drivers/pinmux/stm32/pinmux_board_nucleo_f103rb.c
+++ b/drivers/pinmux/stm32/pinmux_board_nucleo_f103rb.c
@@ -14,7 +14,7 @@
  * limitations under the License.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <device.h>
 #include <init.h>
 #include <pinmux.h>
diff --git a/drivers/pinmux/stm32/pinmux_board_nucleo_f401re.c b/drivers/pinmux/stm32/pinmux_board_nucleo_f401re.c
index 084101a96..b87ae5d00 100644
--- a/drivers/pinmux/stm32/pinmux_board_nucleo_f401re.c
+++ b/drivers/pinmux/stm32/pinmux_board_nucleo_f401re.c
@@ -14,7 +14,7 @@
  * limitations under the License.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <device.h>
 #include <init.h>
 #include <pinmux.h>
diff --git a/drivers/pinmux/stm32/pinmux_board_olimexino_stm32.c b/drivers/pinmux/stm32/pinmux_board_olimexino_stm32.c
index 79091d8ad..447ab43a5 100644
--- a/drivers/pinmux/stm32/pinmux_board_olimexino_stm32.c
+++ b/drivers/pinmux/stm32/pinmux_board_olimexino_stm32.c
@@ -14,7 +14,7 @@
  * limitations under the License.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <device.h>
 #include <init.h>
 #include <pinmux.h>
diff --git a/drivers/pinmux/stm32/pinmux_board_stm32_mini_a15.c b/drivers/pinmux/stm32/pinmux_board_stm32_mini_a15.c
index 58fc1ed21..e0595cab7 100644
--- a/drivers/pinmux/stm32/pinmux_board_stm32_mini_a15.c
+++ b/drivers/pinmux/stm32/pinmux_board_stm32_mini_a15.c
@@ -14,7 +14,7 @@
  * limitations under the License.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <device.h>
 #include <init.h>
 #include <pinmux.h>
diff --git a/drivers/pinmux/stm32/pinmux_stm32.c b/drivers/pinmux/stm32/pinmux_stm32.c
index 724c49bed..335920dd4 100644
--- a/drivers/pinmux/stm32/pinmux_stm32.c
+++ b/drivers/pinmux/stm32/pinmux_stm32.c
@@ -23,7 +23,7 @@
 
 #include <errno.h>
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <device.h>
 #include <soc.h>
 #include "pinmux.h"
diff --git a/drivers/pwm/pwm_dw.c b/drivers/pwm/pwm_dw.c
index e67d2d9fa..092150351 100644
--- a/drivers/pwm/pwm_dw.c
+++ b/drivers/pwm/pwm_dw.c
@@ -29,7 +29,7 @@
 
 #include <errno.h>
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <board.h>
 #include <pwm.h>
 
diff --git a/drivers/pwm/pwm_k64_ftm.c b/drivers/pwm/pwm_k64_ftm.c
index 54f288649..d322deb28 100644
--- a/drivers/pwm/pwm_k64_ftm.c
+++ b/drivers/pwm/pwm_k64_ftm.c
@@ -47,7 +47,7 @@
 
 #include <errno.h>
 
-#include <nanokernel.h>
+#include <kernel.h>
 
 #include <board.h>
 #include <k20_sim.h>
diff --git a/drivers/pwm/pwm_pca9685.c b/drivers/pwm/pwm_pca9685.c
index e80bea02c..b586020e5 100644
--- a/drivers/pwm/pwm_pca9685.c
+++ b/drivers/pwm/pwm_pca9685.c
@@ -20,7 +20,7 @@
 
 #include <errno.h>
 
-#include <nanokernel.h>
+#include <kernel.h>
 
 #include <i2c.h>
 #include <pwm.h>
diff --git a/drivers/random/rand32_timer.c b/drivers/random/rand32_timer.c
index 635fe2c97..07b2a3a24 100644
--- a/drivers/random/rand32_timer.c
+++ b/drivers/random/rand32_timer.c
@@ -26,7 +26,7 @@
 
 #include <drivers/rand32.h>
 #include <drivers/system_timer.h>
-#include <nanokernel.h>
+#include <kernel.h>
 #include <atomic.h>
 
 #if defined(__GNUC__)
diff --git a/drivers/random/rand32_timestamp.c b/drivers/random/rand32_timestamp.c
index f872d53f2..2477f9a39 100644
--- a/drivers/random/rand32_timestamp.c
+++ b/drivers/random/rand32_timestamp.c
@@ -24,7 +24,7 @@
  * provide a random number generator.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 #include <drivers/rand32.h>
 
diff --git a/drivers/sensor/bmi160/bmi160.c b/drivers/sensor/bmi160/bmi160.c
index 86ea1d6d9..99ea5197a 100644
--- a/drivers/sensor/bmi160/bmi160.c
+++ b/drivers/sensor/bmi160/bmi160.c
@@ -150,7 +150,7 @@ static int bmi160_pmu_set(struct device *dev, union bmi160_pmu_status *pmu_sts)
 		}
 
 		/*
-		 * Cannot use a nano timer here since this is called from the
+		 * Cannot use a timer here since this is called from the
 		 * init function and the timeouts were not initialized yet.
 		 */
 		k_busy_wait(cmds[i].delay_us);
diff --git a/drivers/serial/uart_altera_jtag.c b/drivers/serial/uart_altera_jtag.c
index c16956d85..75960586a 100644
--- a/drivers/serial/uart_altera_jtag.c
+++ b/drivers/serial/uart_altera_jtag.c
@@ -15,7 +15,7 @@
  */
 
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 #include <uart.h>
 #include <sys_io.h>
diff --git a/drivers/serial/uart_atmel_sam3.c b/drivers/serial/uart_atmel_sam3.c
index 9616b3102..301a945c3 100644
--- a/drivers/serial/uart_atmel_sam3.c
+++ b/drivers/serial/uart_atmel_sam3.c
@@ -28,7 +28,7 @@
  * (used uart_stellaris.c as template)
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 #include <misc/__assert.h>
 #include <board.h>
diff --git a/drivers/serial/uart_cc32xx.c b/drivers/serial/uart_cc32xx.c
index bcb14d52b..2b906eef7 100644
--- a/drivers/serial/uart_cc32xx.c
+++ b/drivers/serial/uart_cc32xx.c
@@ -16,7 +16,7 @@
 
 /* See www.ti.com/lit/pdf/swru367, section 6, for CC3200 UART info. */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 #include <uart.h>
 
diff --git a/drivers/serial/uart_cmsdk_apb.c b/drivers/serial/uart_cmsdk_apb.c
index 5502951aa..fdf6d3cdc 100644
--- a/drivers/serial/uart_cmsdk_apb.c
+++ b/drivers/serial/uart_cmsdk_apb.c
@@ -20,7 +20,7 @@
  * UART has two wires for RX and TX, and does not provide CTS or RTS.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 #include <misc/__assert.h>
 #include <board.h>
diff --git a/drivers/serial/uart_k20.c b/drivers/serial/uart_k20.c
index 15caf3f6f..d2c1605da 100644
--- a/drivers/serial/uart_k20.c
+++ b/drivers/serial/uart_k20.c
@@ -21,7 +21,7 @@
  * called to setup the port.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 #include <stdint.h>
 
diff --git a/drivers/serial/uart_nrf5.c b/drivers/serial/uart_nrf5.c
index 43562fe64..86dc856b6 100644
--- a/drivers/serial/uart_nrf5.c
+++ b/drivers/serial/uart_nrf5.c
@@ -18,7 +18,7 @@
  * @brief Driver for Nordic Semiconductor nRF5X UART
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 #include <misc/__assert.h>
 #include <board.h>
diff --git a/drivers/serial/uart_ns16550.c b/drivers/serial/uart_ns16550.c
index 937c047cf..8469d4969 100644
--- a/drivers/serial/uart_ns16550.c
+++ b/drivers/serial/uart_ns16550.c
@@ -32,7 +32,7 @@
 
 #include <errno.h>
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 #include <stdint.h>
 
diff --git a/drivers/serial/uart_nsim.c b/drivers/serial/uart_nsim.c
index dcd999215..f0f1a4369 100644
--- a/drivers/serial/uart_nsim.c
+++ b/drivers/serial/uart_nsim.c
@@ -16,7 +16,7 @@
 
 #include <errno.h>
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 #include <sections.h>
 #include <misc/__assert.h>
diff --git a/drivers/serial/uart_stellaris.c b/drivers/serial/uart_stellaris.c
index 2441e618d..99224a8ab 100644
--- a/drivers/serial/uart_stellaris.c
+++ b/drivers/serial/uart_stellaris.c
@@ -26,7 +26,7 @@
  * and STDOUT_CONSOLE APIs.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 #include <misc/__assert.h>
 #include <board.h>
diff --git a/drivers/serial/uart_stm32.c b/drivers/serial/uart_stm32.c
index cde74d14f..4ce5a15fe 100644
--- a/drivers/serial/uart_stm32.c
+++ b/drivers/serial/uart_stm32.c
@@ -25,7 +25,7 @@
  *             transmitter (USART)
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 #include <misc/__assert.h>
 #include <board.h>
diff --git a/drivers/shared_irq/shared_irq.c b/drivers/shared_irq/shared_irq.c
index b9ca77b5c..e5de83936 100644
--- a/drivers/shared_irq/shared_irq.c
+++ b/drivers/shared_irq/shared_irq.c
@@ -16,7 +16,7 @@
 
 #include <errno.h>
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <device.h>
 #include <shared_irq.h>
 #include <init.h>
diff --git a/drivers/spi/spi_dw.c b/drivers/spi/spi_dw.c
index 9110028e7..bebef9dea 100644
--- a/drivers/spi/spi_dw.c
+++ b/drivers/spi/spi_dw.c
@@ -18,7 +18,7 @@
 
 #include <errno.h>
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 
 #include <misc/__assert.h>
diff --git a/drivers/spi/spi_intel.c b/drivers/spi/spi_intel.c
index 77daecb6c..7629ce4a3 100644
--- a/drivers/spi/spi_intel.c
+++ b/drivers/spi/spi_intel.c
@@ -18,7 +18,7 @@
 
 #include <errno.h>
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 
 #include <misc/__assert.h>
diff --git a/drivers/spi/spi_k64.c b/drivers/spi/spi_k64.c
index 7fb10ddaf..a4223bbe4 100644
--- a/drivers/spi/spi_k64.c
+++ b/drivers/spi/spi_k64.c
@@ -48,7 +48,7 @@
 
 #include <errno.h>
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 
 #include <misc/util.h>
diff --git a/drivers/timer/altera_avalon_timer.c b/drivers/timer/altera_avalon_timer.c
index 8062df953..cbf5c1500 100644
--- a/drivers/timer/altera_avalon_timer.c
+++ b/drivers/timer/altera_avalon_timer.c
@@ -14,7 +14,7 @@
  * limitations under the License.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 #include <device.h>
 #include <system_timer.h>
diff --git a/drivers/timer/arcv2_timer0.c b/drivers/timer/arcv2_timer0.c
index 087d244bc..ac5279158 100644
--- a/drivers/timer/arcv2_timer0.c
+++ b/drivers/timer/arcv2_timer0.c
@@ -51,7 +51,7 @@
  * @endinternal
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <arch/cpu.h>
 #include <toolchain.h>
 #include <sections.h>
diff --git a/drivers/timer/cortex_m_systick.c b/drivers/timer/cortex_m_systick.c
index 7de901a4a..887b2a19d 100644
--- a/drivers/timer/cortex_m_systick.c
+++ b/drivers/timer/cortex_m_systick.c
@@ -37,7 +37,7 @@
  * conjunction with a microkernel.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <toolchain.h>
 #include <sections.h>
 #include <misc/__assert.h>
diff --git a/drivers/timer/hpet.c b/drivers/timer/hpet.c
index bd6159407..32297aeb7 100644
--- a/drivers/timer/hpet.c
+++ b/drivers/timer/hpet.c
@@ -54,7 +54,7 @@
  * microkernel.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <toolchain.h>
 #include <sections.h>
 #include <sys_clock.h>
diff --git a/drivers/timer/loapic_timer.c b/drivers/timer/loapic_timer.c
index d1884f16d..43336029c 100644
--- a/drivers/timer/loapic_timer.c
+++ b/drivers/timer/loapic_timer.c
@@ -75,7 +75,7 @@
  * @endinternal
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <toolchain.h>
 #include <sections.h>
 #include <sys_clock.h>
diff --git a/drivers/timer/sys_clock_init.c b/drivers/timer/sys_clock_init.c
index 5b08ff689..83a9273ed 100644
--- a/drivers/timer/sys_clock_init.c
+++ b/drivers/timer/sys_clock_init.c
@@ -28,7 +28,7 @@
  * processing any queued ticks.
  */
 
-#include <nanokernel.h>
+#include <kernel.h>
 #include <init.h>
 #include <drivers/system_timer.h>