genode/base-foc/src/core/vea9x4/target.mk

include $(PRG_DIR)/../target.inc

REQUIRES += arm foc_vea9x4
SRC_CC   += arm/platform_arm.cc
INC_DIR  += $(REP_DIR)/src/core/include/arm

LD_TEXT_ADDR = 0x60490000

vpath platform_services.cc $(GEN_CORE_DIR)
Imported Genode release 11.11 2011-12-22 16:19:25 +01:00			`include $(PRG_DIR)/../target.inc`

Fiasco.OC: basic support for pandaboard 2012-05-22 16:36:56 +02:00			`REQUIRES += arm foc_vea9x4`
Merge final fixes from internal repositories 2011-12-23 14:04:29 +01:00			`SRC_CC += arm/platform_arm.cc`
Core: Shared IRQ support for Nova/FOC/OKL4 Implement shared IRQs using 'Irq_proxy' class. Nova: Added global worker 'Irq_thread' support in core and adapted Irq_session. FOC: Adapted IRQ session code, x86 has shared IRQ support, ARM uses the old model. Read and set 'mode' argument (from MADT) in 'Irq_session'. OKL4: Use generic 'Irq_proxy' Fixes issue #390 2012-10-05 14:46:16 +02:00			`INC_DIR += $(REP_DIR)/src/core/include/arm`
Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
Fiasco.OC: update to recent version (svn rev. 40) 2012-09-05 14:28:37 +02:00			`LD_TEXT_ADDR = 0x60490000`

Introduce platform-specific services for core By now all services in core where created, and registered in the generic main routine. Although there exists already a x86-specific service (I/O ports) there was no possibility to announce core-services for certain platforms only. This commit introduces a hook function in the 'Platform' class, that enables registration of platform-specific services. Moreover, the io-port service is offered on x86 platforms only now. 2012-10-02 13:11:58 +02:00			`vpath platform_services.cc $(GEN_CORE_DIR)`
Imported Genode release 11.11 2011-12-22 16:19:25 +01:00