kernel: remove remaining microkernel references

Change-Id: Ie648dbaaf714316c21395bd43e555618013dbd19
Signed-off-by: Anas Nashif <anas.nashif@intel.com>
This commit is contained in:
Anas Nashif 2017-04-09 11:50:18 -04:00 committed by Anas Nashif
commit d7bc60f096
22 changed files with 39 additions and 83 deletions

View file

@ -40,7 +40,7 @@ extern "C" {
#include <irq.h>
#include <sw_isr_table.h>
/* physical/virtual address types required by microkernel */
/* physical/virtual address types required by the kernel */
typedef unsigned int paddr_t;
typedef unsigned int vaddr_t;