/**
 * @file olimex_tpl_stubs.c
 *
 * @section descr File description
 *
 * SIMTEC platform specific routines and variables
 *
 * @section copyright Copyright
 *
 * Trampoline OS
 *
 * Trampoline is copyright (c) IRCCyN 2005+
 * Copyright ESEO for function and data structures documentation and ARM port
 * Trampoline is protected by the French intellectual property law.
 *
 * This software is distributed under the Lesser GNU Public Licence
 *
 * @section infos File informations
 *
 * $Date: 2010-01-29 15:35:55 +0100 (Ven, 29 jan 2010) $
 * $Rev: 1043 $
 * $Author: fp $
 * $URL: https://trampoline.rts-software.org/svn/trunk/machines/arm/olimex_lpc_e2294/olimex_tpl_stubs.c $
 */
#include "tpl_machine.h"
#include "tpl_machine_interface.h"
#include "tpl_os_definitions.h"
#include "tpl_os_kernel.h"

#define OS_START_SEC_CODE
#include "tpl_memmap.h"

void init_mmu(void);

void tpl_init_machine()
{
	init_mmu();
  tpl_init_machine_generic ();
}

void tpl_shutdown ()
{
    /* FIXME: this is does not conform to AUTOSAR OS specifications, 
     * should return to main with initial context */
    DISABLE_FIQ ();
    DISABLE_IRQ ();
    
    /* TODO : fall into very low consumption mode : all
     * internal CPU clocks are disabled.
     */
    
    while (1);
}

#define OS_STOP_SEC_CODE
#include "tpl_memmap.h"

/* End of file olimex_tpl_stubs.c */