mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 02:01:38 +00:00
parent
2a503d3599
commit
f9ea52db9a
@ -15,7 +15,7 @@
|
||||
#include <board.h>
|
||||
#include <platform.h>
|
||||
#include <pic.h>
|
||||
#include <cpu.h>
|
||||
#include <processor_driver.h>
|
||||
#include <timer.h>
|
||||
#include <kernel/irq.h>
|
||||
|
||||
|
@ -15,7 +15,7 @@
|
||||
#include <platform.h>
|
||||
#include <board.h>
|
||||
#include <pic.h>
|
||||
#include <cpu.h>
|
||||
#include <processor_driver.h>
|
||||
#include <kernel/irq.h>
|
||||
|
||||
using namespace Genode;
|
||||
|
@ -15,7 +15,7 @@
|
||||
#include <platform.h>
|
||||
#include <board.h>
|
||||
#include <pic.h>
|
||||
#include <cpu.h>
|
||||
#include <processor_driver.h>
|
||||
#include <kernel/irq.h>
|
||||
|
||||
using namespace Genode;
|
||||
|
@ -17,7 +17,7 @@
|
||||
#include <platform.h>
|
||||
#include <board.h>
|
||||
#include <pic.h>
|
||||
#include <cpu.h>
|
||||
#include <processor_driver.h>
|
||||
#include <kernel/irq.h>
|
||||
|
||||
using namespace Genode;
|
||||
|
@ -14,7 +14,7 @@
|
||||
/* core includes */
|
||||
#include <trustzone.h>
|
||||
#include <pic.h>
|
||||
#include <cpu.h>
|
||||
#include <processor_driver.h>
|
||||
#include <csu.h>
|
||||
#include <board.h>
|
||||
|
||||
|
@ -14,7 +14,7 @@
|
||||
/* core includes */
|
||||
#include <kernel/irq.h>
|
||||
#include <pic.h>
|
||||
#include <cpu.h>
|
||||
#include <processor_driver.h>
|
||||
|
||||
using namespace Kernel;
|
||||
|
||||
|
@ -21,7 +21,7 @@
|
||||
#include <kernel/configuration.h>
|
||||
#include <kernel/object.h>
|
||||
#include <tlb.h>
|
||||
#include <cpu.h>
|
||||
#include <processor_driver.h>
|
||||
#include <assert.h>
|
||||
|
||||
/* structure of the mode transition */
|
||||
|
@ -20,7 +20,7 @@
|
||||
#include <kernel/signal_receiver.h>
|
||||
#include <kernel/ipc_node.h>
|
||||
#include <cpu_support.h>
|
||||
#include <cpu.h>
|
||||
#include <processor_driver.h>
|
||||
|
||||
namespace Kernel
|
||||
{
|
||||
|
@ -23,7 +23,7 @@
|
||||
#include <kernel/pd.h>
|
||||
#include <kernel/multiprocessor.h>
|
||||
#include <kernel/signal_receiver.h>
|
||||
#include <cpu.h>
|
||||
#include <processor_driver.h>
|
||||
|
||||
namespace Kernel
|
||||
{
|
||||
|
@ -15,7 +15,7 @@
|
||||
#include <board.h>
|
||||
#include <platform.h>
|
||||
#include <pic.h>
|
||||
#include <cpu.h>
|
||||
#include <processor_driver.h>
|
||||
#include <timer.h>
|
||||
#include <kernel/irq.h>
|
||||
|
||||
|
@ -14,7 +14,7 @@
|
||||
/* core includes */
|
||||
#include <platform.h>
|
||||
#include <board.h>
|
||||
#include <cpu.h>
|
||||
#include <processor_driver.h>
|
||||
#include <pic.h>
|
||||
#include <kernel/irq.h>
|
||||
|
||||
|
@ -14,7 +14,7 @@
|
||||
/* core includes */
|
||||
#include <platform.h>
|
||||
#include <board.h>
|
||||
#include <cpu.h>
|
||||
#include <processor_driver.h>
|
||||
#include <pic.h>
|
||||
#include <kernel/irq.h>
|
||||
|
||||
|
@ -16,7 +16,7 @@
|
||||
|
||||
/* core includes */
|
||||
#include <pic/arm_gic.h>
|
||||
#include <cpu.h>
|
||||
#include <processor_driver.h>
|
||||
|
||||
namespace Cortex_a9
|
||||
{
|
||||
|
@ -16,7 +16,7 @@
|
||||
|
||||
/* core includes */
|
||||
#include <pic/arm_gic.h>
|
||||
#include <cpu.h>
|
||||
#include <processor_driver.h>
|
||||
|
||||
namespace Vea9x4_trustzone
|
||||
{
|
||||
|
@ -14,7 +14,7 @@
|
||||
/* core includes */
|
||||
#include <platform.h>
|
||||
#include <board.h>
|
||||
#include <cpu.h>
|
||||
#include <processor_driver.h>
|
||||
#include <kernel/irq.h>
|
||||
|
||||
using namespace Genode;
|
||||
|
@ -14,7 +14,7 @@
|
||||
/* core includes */
|
||||
#include <platform.h>
|
||||
#include <board.h>
|
||||
#include <cpu.h>
|
||||
#include <processor_driver.h>
|
||||
#include <pic.h>
|
||||
#include <kernel/irq.h>
|
||||
|
||||
|
@ -15,7 +15,7 @@
|
||||
|
||||
/* core includes */
|
||||
#include <board.h>
|
||||
#include <cpu.h>
|
||||
#include <processor_driver.h>
|
||||
#include <platform.h>
|
||||
#include <pic/vea9x4_trustzone.h>
|
||||
#include <kernel/irq.h>
|
||||
|
@ -14,7 +14,7 @@
|
||||
/* core includes */
|
||||
#include <trustzone.h>
|
||||
#include <pic.h>
|
||||
#include <cpu.h>
|
||||
#include <processor_driver.h>
|
||||
|
||||
/* monitor exception vector address */
|
||||
extern int _mon_kernel_entry;
|
||||
|
Loading…
x
Reference in New Issue
Block a user