| Last change
                  on this file since 804 was
                  758,
                  checked in by cfuguet, 11 years ago | 
        
          | 
tsar_boot: improving configuration infrastructure
 Using hard_config.h which respects the same sintax that
the hard_config.h file of all TSAR platforms.
This file can be then generated by the GIET-VM genmap
tool or written manually.
 All peripheral drivers have been moved to a drivers
directory and they are compiled as a static library.
This allows GCC to only include in the final .ELF the
object files of used peripherals and not all of them.
 Example hard_config.h and ldscripts have been introduced
in the conf directory.
 Improving comments in all files
 | 
        | File size:
            371 bytes | 
      
      
        
  | Line |  | 
|---|
| 1 | /** | 
|---|
| 2 | * \file   reset_inval.h | 
|---|
| 3 | * \date   December 14, 2014 | 
|---|
| 4 | * \author Cesar Fuguet | 
|---|
| 5 | */ | 
|---|
| 6 |  | 
|---|
| 7 | #ifndef RESET_INVAL_H | 
|---|
| 8 | #define RESET_INVAL_H | 
|---|
| 9 |  | 
|---|
| 10 | #include <inttypes.h> | 
|---|
| 11 |  | 
|---|
| 12 | void reset_mcc_invalidate (void* const buffer, size_t size); | 
|---|
| 13 |  | 
|---|
| 14 | void reset_buf_invalidate (void* const buffer, size_t size, int inval_memc); | 
|---|
| 15 |  | 
|---|
| 16 | #endif | 
|---|
| 17 |  | 
|---|
| 18 | /* | 
|---|
| 19 | * vim: tabstop=4 : softtabstop=4 : shiftwidth=4 : expandtab | 
|---|
| 20 | */ | 
|---|
       
      
      Note: See 
TracBrowser
        for help on using the repository browser.