François Revol b837149e73 Sam460ex: Add cpu type and model defines to board_config.h ...

* we need this in arch_cpu.cpp in the bootloader.

2012-06-02 01:25:53 +02:00

..

board/sam460ex

Sam460ex: Add cpu type and model defines to board_config.h

2012-06-02 01:25:53 +02:00

arch_cpu.h

PPC: Add PVR identifiers for 440 and 460 cpus

2012-05-29 18:50:32 +02:00

arch_debug.h

kernel_ppc: Save caller's stack pointer in arch_debug_save_registers

2010-06-27 20:16:59 +00:00

arch_int.h

…

arch_kernel_args.h

…

arch_kernel.h

…

arch_mmu.h

…

arch_platform.h

…

arch_system_info.h

…

arch_thread_types.h

ppc build fix

2011-05-30 19:51:45 +00:00

arch_thread.h

Merged the signals branch into trunk, with these changes:

2011-01-10 21:54:38 +00:00

arch_user_debugger.h

…

arch_vm_translation_map.h

* First run through the kernel's private parts to use phys_{addr,size}_t

2010-05-25 21:34:08 +00:00

arch_vm_types.h

…

arch_vm.h

…

cpu.h

…

ktypes.h

…

stage2_priv.h

…

types.h

…