![(please configure the [header_logo] section in trac.ini)](/trac/giet-vm/chrome/site/your_project_logo.png){kind=logo}
source:
soft/giet_vm
@
356
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| build | 258 | 11 years | This is a major release, including a deep restructuration of code. The … | ||
| convol | 353 | 10 years | Introduce distribution of page tables, kernel code, and user code in … | ||
| dhrystone | 271 | 10 years | - Bugfix: The ISR_SWITCH index should be NB_PROCS_MAX + local_pid. … | ||
| display | 297 | 10 years | Bug fix in both _tty_rx_isr() and _bdv_isr(): The ISR must do nothing … | ||
| gameoflife | 295 | 10 years | Introducing a major release, to suppoort the tsar_generic_leti … | ||
| giet_boot | 356 | 10 years | Bloup… | ||
| giet_common | 351 | 10 years | Using the giet_lock_t structure in _get_lock() / _release_lock() … | ||
| giet_drivers | 350 | 10 years | Introducing two modifications regarding the locks protecting exclusive … | ||
| giet_fat32 | 354 | 10 years | Cosmetic: reducing debug verbosity. | ||
| giet_kernel | 346 | 10 years | Fixing a bug in the _sys_handler function (giet.s file). The SR value … | ||
| giet_libs | 356 | 10 years | Bloup… | ||
| giet_python | 356 | 10 years | Bloup… | ||
| giet_xml | 349 | 10 years | Introducing a new attribute "local" in the mapping_vseg_t structure, … | ||
| hdd | 308 | 10 years | Removing both the "hdd" and the "misc" directories. | ||
| hello | 297 | 10 years | Bug fix in both _tty_rx_isr() and _bdv_isr(): The ISR must do nothing … | ||
| memo | 255 | 11 years | * Added a syscall and some user functions to manipulate the Simulation … | ||
| pgcd | 295 | 10 years | Introducing a major release, to suppoort the tsar_generic_leti … | ||
| router | 345 | 10 years | giet_vm optimizations: * Several modifications in GIET_VM in order … | ||
| sort | 345 | 10 years | giet_vm optimizations: * Several modifications in GIET_VM in order … | ||
| transpose | 355 | 10 years | Cosmetic: remove GCC warnings. | ||
| create_dmg | 3.5 KB | 302 | 10 years | Optimization in disk image generation When disk image exists, we dont … | |
| giet_config.h | 2.3 KB | 314 | 10 years | The main modif is in the Makefile: Disk image building. | |
| Makefile | 17.8 KB | 356 | 10 years | Bloup… | |
Note: See TracBrowser
for help on using the repository browser.
