zephyr/kernel/microkernel
Peter Mitsis c963861d47 Remove PIC code, but not PIC disabling code
Removes the non-PIC disabling PIC code as the PIC is not a supported interrupt
controller.  The PIC disabling code remains as it is needed to prevent the
generation of spurious interrupts from the PIC (see CONFIG_SHUTOFF_PIC).

Change-Id: Ic59aa17ab96f34685a5d7b5f24cab391de47edca
Signed-off-by: Peter Mitsis <peter.mitsis@windriver.com>
2016-02-05 20:15:20 -05:00
..
include microkernel: put memory map pointers into its own binary section 2016-02-05 20:15:18 -05:00
k_command_packet.c doxygen: add @brief and capitalize 2016-02-05 20:14:33 -05:00
k_event.c microkernel: remove kernel service dispatch table 2016-02-05 20:14:46 -05:00
k_fifo.c microkernel: Rename struct que_struct to _k_fifo_struct 2016-02-05 20:15:18 -05:00
k_idle.c microkernel: remove kernel service dispatch table 2016-02-05 20:14:46 -05:00
k_init.c Microkernel timer uses new driver initialization 2016-02-05 20:14:37 -05:00
k_irq.c Remove PIC code, but not PIC disabling code 2016-02-05 20:15:20 -05:00
k_mailbox.c microkernel: Rename struct mbx_struct to _k_mbox_struct 2016-02-05 20:15:18 -05:00
k_memory_map.c microkernel: put memory map pointers into its own binary section 2016-02-05 20:15:18 -05:00
k_memory_pool.c microkernel: remove kernel service dispatch table 2016-02-05 20:14:46 -05:00
k_move_data.c doxygen: add @brief and capitalize 2016-02-05 20:14:33 -05:00
k_mutex.c microkernel: Rename struct mutex_struct to _k_mutex_struct 2016-02-05 20:14:46 -05:00
k_nop.c microkernel: remove kernel service dispatch table 2016-02-05 20:14:46 -05:00
k_offload.c microkernel: remove kernel service dispatch table 2016-02-05 20:14:46 -05:00
k_pipe_buffer.c microkernel: redefine pipe object identifier type 2016-02-05 20:15:18 -05:00
k_pipe_get.c microkernel: redefine pipe object identifier type 2016-02-05 20:15:18 -05:00
k_pipe_put.c microkernel: redefine pipe object identifier type 2016-02-05 20:15:18 -05:00
k_pipe_util.c Revise 'channel' comments in microkernel's pipe code 2016-02-05 20:14:37 -05:00
k_pipe_xfer.c microkernel: redefine pipe object identifier type 2016-02-05 20:15:18 -05:00
k_pipe.c microkernel: put pipe pointer list into its own binary section 2016-02-05 20:15:18 -05:00
k_semaphore.c microkernel: Rename struct sem_struct to _k_sem_struct 2016-02-05 20:15:18 -05:00
k_server.c microkernel: remove kernel service dispatch table 2016-02-05 20:14:46 -05:00
k_task_monitor.c Rename microkernel's minik.h to micro_private.h 2016-02-05 20:14:26 -05:00
k_task.c microkernel: put _k_task_list into its own binary section 2016-02-05 20:15:18 -05:00
k_ticker.c microkernel: remove kernel service dispatch table 2016-02-05 20:14:46 -05:00
k_timer.c Redefine microkernel timer objects identifier type 2016-02-05 20:15:18 -05:00
Kconfig Remove obsolete kernel references to BSP 2016-02-05 20:14:39 -05:00
Makefile Rename microkernel's global.c to k_init.c 2016-02-05 20:14:25 -05:00