source: soft/giet_vm @ 358

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