mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37:54 +00:00
parent
7bdb8c9007
commit
d2fd00a828
@ -12,7 +12,7 @@
|
||||
*/
|
||||
|
||||
/* core includes */
|
||||
#include <kernel/multiprocessor.h>
|
||||
#include <kernel/processor.h>
|
||||
#include <kernel/irq.h>
|
||||
#include <pic.h>
|
||||
|
||||
|
@ -20,7 +20,7 @@
|
||||
/* core includes */
|
||||
#include <kernel/configuration.h>
|
||||
#include <kernel/object.h>
|
||||
#include <kernel/multiprocessor.h>
|
||||
#include <kernel/processor.h>
|
||||
#include <tlb.h>
|
||||
#include <assert.h>
|
||||
|
||||
|
@ -1,5 +1,5 @@
|
||||
/*
|
||||
* \brief Representation of a common instruction processor
|
||||
* \brief Provide a processor object for every available processor
|
||||
* \author Martin Stein
|
||||
* \date 2014-01-14
|
||||
*/
|
||||
@ -12,7 +12,7 @@
|
||||
*/
|
||||
|
||||
/* core includes */
|
||||
#include <kernel/multiprocessor.h>
|
||||
#include <kernel/processor.h>
|
||||
|
||||
using namespace Kernel;
|
||||
|
@ -11,8 +11,8 @@
|
||||
* under the terms of the GNU General Public License version 2.
|
||||
*/
|
||||
|
||||
#ifndef _KERNEL__MULTIPROCESSOR_H_
|
||||
#define _KERNEL__MULTIPROCESSOR_H_
|
||||
#ifndef _KERNEL__PROCESSOR_H_
|
||||
#define _KERNEL__PROCESSOR_H_
|
||||
|
||||
/* base includes */
|
||||
#include <unmanaged_singleton.h>
|
||||
@ -149,4 +149,4 @@ class Kernel::Multiprocessor
|
||||
}
|
||||
};
|
||||
|
||||
#endif /* _KERNEL__MULTIPROCESSOR_H_ */
|
||||
#endif /* _KERNEL__PROCESSOR_H_ */
|
@ -12,8 +12,7 @@
|
||||
*/
|
||||
|
||||
/* core includes */
|
||||
#include <kernel/scheduler.h>
|
||||
#include <kernel/multiprocessor.h>
|
||||
#include <kernel/processor.h>
|
||||
#include <kernel/irq.h>
|
||||
#include <pic.h>
|
||||
#include <timer.h>
|
||||
|
@ -21,7 +21,7 @@
|
||||
#include <kernel/scheduler.h>
|
||||
#include <kernel/kernel.h>
|
||||
#include <kernel/pd.h>
|
||||
#include <kernel/multiprocessor.h>
|
||||
#include <kernel/processor.h>
|
||||
#include <kernel/signal_receiver.h>
|
||||
|
||||
namespace Kernel
|
||||
|
@ -53,7 +53,7 @@ SRC_CC += console.cc \
|
||||
kernel/signal_receiver.cc \
|
||||
kernel/irq.cc \
|
||||
kernel/scheduler.cc \
|
||||
kernel/multiprocessor.cc \
|
||||
kernel/processor.cc \
|
||||
rm_session_support.cc \
|
||||
trustzone.cc \
|
||||
pager.cc \
|
||||
|
Loading…
Reference in New Issue
Block a user