source: soft/giet_vm/giet_kernel/sys_handler.h @ 263

Last change on this file since 263 was 258, checked in by alain, 11 years ago

This is a major release, including a deep restructuration of code.
The main evolutions are

  • use of the Tsar preloader to load the GIET boot-loader from disk
  • introduction of a FAT32 file system library,
  • use of this fat32 library by the boot-loader to load the map.bin data structure, and the various .elf files
  • reorganisation of drivers (one file per peripheral).
  • introduction of drivers for new peripherals: vci_chbuf_dma and vci_multi_ahci.
  • introduction of a new physical memory allocator in the boot code.

This release has been tested on the tsar_generic_iob architecture,
for the two following mappings: 4c_1p_iob_four.xml and 4c_1p_iob_sort.xml

  • Property svn:executable set to *
File size: 1.5 KB
Line 
1///////////////////////////////////////////////////////////////////////////////////
2// File     : sys_handler.h
3// Date     : 01/04/2012
4// Author   : alain greiner and joel porquet
5// Copyright (c) UPMC-LIP6
6///////////////////////////////////////////////////////////////////////////////////
7
8#ifndef _SYS_HANDLER_H
9#define _SYS_HANDLER_H
10
11//////////////////////////////////////////////////////////////////////////////////
12//     Syscall Vector Table (indexed by syscall index)
13//////////////////////////////////////////////////////////////////////////////////
14
15extern const void * _syscall_vector[64];
16
17//////////////////////////////////////////////////////////////////////////////////
18// Prototypes os the syscall handlers (other than peripheral drivers)
19//////////////////////////////////////////////////////////////////////////////////
20
21void         _sys_ukn();
22void         _task_exit();
23void         _context_switch();
24unsigned int _local_task_id();
25unsigned int _global_task_id();
26
27unsigned int _procs_number( unsigned int  cluster_id, 
28                            unsigned int* number );
29
30unsigned int _vobj_get_vbase( char*         vspace_name, 
31                              char*         vobj_name, 
32                              unsigned      vobj_type, 
33                              unsigned int* vobj_buffer);
34
35#endif
36
37// Local Variables:
38// tab-width: 4
39// c-basic-offset: 4
40// c-file-offsets:((innamespace . 0)(inline-open . 0))
41// indent-tabs-mode: nil
42// End:
43// vim: filetype=c:expandtab:shiftwidth=4:tabstop=4:softtabstop=4
44
Note: See TracBrowser for help on using the repository browser.