 Nathalie Furmento
|
d053f9e7d6
sc_hypervisor: fix copyrights
|
7 年之前 |
|
Nathalie Furmento
|
aae4029d83
INRIA is now called Inria
|
7 年之前 |
 Samuel Thibault
|
020704f89a
fix syntax
|
10 年之前 |
|
Samuel Thibault
|
53d6f965c9
Fix propagating logcheck error in recursion
|
10 年之前 |
|
Nathalie Furmento
|
802a261a06
fix inria copyright
|
10 年之前 |
 Andra Hugo
|
aa59ce38c7
rollback
|
11 年之前 |
|
Andra Hugo
|
0c40ac6f8a
make the hypervisor point to the good includes
|
11 年之前 |
|
Samuel Thibault
|
e72c552c82
revert r9733: distinguish the effective ABI versions of the different libraries
|
12 年之前 |
|
Samuel Thibault
|
01a3cc7a7f
distinguish the effective ABI versions of the different libraries
|
12 年之前 |
|
Andra Hugo
|
6bcd0d3c6e
rename + comments in the public interface
|
12 年之前 |
|
Andra Hugo
|
545f5f5b3b
rename hyp last step
|
12 年之前 |
|
Andra Hugo
|
a1fffeb7c8
rename hyp step1
|
12 年之前 |
