Timeline



Jul 23, 2014:

5:08 PM Changeset [367] by alain
cosmetic
4:16 PM Changeset [366] by cfuguet
giet_boot: using boot_entry instead of boot_init as entry point
11:06 AM Changeset [365] by alain
Cosmetic
11:02 AM Changeset [364] by alain
Increase the size of the "reserved" section in the disk image from 256 …
10:18 AM Changeset [363] by alain
Remove the seg_boot_buffer.
10:16 AM Changeset [362] by alain
Cosmetic
10:14 AM Changeset [361] by alain
Remove the seg_boot_buffer from the generated hard_config.h file.
10:12 AM Changeset [360] by alain
Align the fat structure (including the fat cache) on 512 bytes.
10:09 AM Changeset [359] by alain
1/ Introduce the boot.S file that is the entry point in the GIET-VM …

Jul 19, 2014:

5:04 PM Changeset [358] by alain
Improve debug.

Jul 18, 2014:

9:34 PM Changeset [357] by alain
cosmetic

Jul 3, 2014:

4:50 PM Changeset [356] by alain
Bloup…

Jun 29, 2014:

1:28 PM Changeset [355] by alain
Cosmetic: remove GCC warnings.
1:25 PM Changeset [354] by alain
Cosmetic: reducing debug verbosity.
1:23 PM Changeset [353] by alain
Introduce distribution of page tables, kernel code, and user code in …
1:16 PM Changeset [352] by alain
Avoid GCC warnings for some missing initialisations.
1:07 PM Changeset [351] by alain
Using the giet_lock_t structure in _get_lock() / _release_lock() …
12:53 PM Changeset [350] by alain
Introducing two modifications regarding the locks protecting exclusive …
12:39 PM Changeset [349] by alain
Introducing a new attribute "local" in the mapping_vseg_t structure, …
12:31 PM Changeset [348] by alain
Introducing support for distributed page tables, kernel code and user code.
12:27 PM Changeset [347] by alain
Introducing support for distributed page tables, kernel code and user …
12:21 PM Changeset [346] by alain
Fixing a bug in the _sys_handler function (giet.s file). The SR value …
Note: See TracTimeline for information about the timeline view.