File tree
12 files changed
+77
-37
lines changed- src
- hyperlight_common/src
- hyperlight_guest/src
- hyperlight_host/src
- hypervisor
- sandbox
12 files changed
+77
-37
lines changedLines changed: 7 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
1 | 6 |
| |
2 | 7 |
| |
3 | 8 |
| |
4 | 9 |
| |
| 10 | + | |
5 | 11 |
| |
6 | 12 |
| |
7 | 13 |
| |
| |||
11 | 17 |
| |
12 | 18 |
| |
13 | 19 |
| |
| 20 | + | |
14 | 21 |
| |
15 | 22 |
| |
16 | 23 |
| |
|
Lines changed: 11 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
48 | 48 |
| |
49 | 49 |
| |
50 | 50 |
| |
51 |
| - | |
| 51 | + | |
| 52 | + | |
52 | 53 |
| |
53 | 54 |
| |
54 | 55 |
| |
| |||
63 | 64 |
| |
64 | 65 |
| |
65 | 66 |
| |
66 |
| - | |
| 67 | + | |
| 68 | + | |
67 | 69 |
| |
68 | 70 |
| |
69 | 71 |
| |
| |||
115 | 117 |
| |
116 | 118 |
| |
117 | 119 |
| |
118 |
| - | |
| 120 | + | |
119 | 121 |
| |
120 | 122 |
| |
121 | 123 |
| |
| |||
125 | 127 |
| |
126 | 128 |
| |
127 | 129 |
| |
128 |
| - | |
129 |
| - | |
| 130 | + | |
| 131 | + | |
| 132 | + | |
| 133 | + | |
| 134 | + | |
| 135 | + | |
130 | 136 |
| |
131 | 137 |
| |
132 | 138 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
49 | 49 |
| |
50 | 50 |
| |
51 | 51 |
| |
52 |
| - | |
| 52 | + | |
53 | 53 |
| |
54 | 54 |
| |
55 | 55 |
| |
|
Lines changed: 32 additions & 14 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
70 | 70 |
| |
71 | 71 |
| |
72 | 72 |
| |
73 |
| - | |
| 73 | + | |
74 | 74 |
| |
75 | 75 |
| |
76 | 76 |
| |
77 | 77 |
| |
78 |
| - | |
| 78 | + | |
79 | 79 |
| |
80 | 80 |
| |
81 | 81 |
| |
82 |
| - | |
| 82 | + | |
| 83 | + | |
| 84 | + | |
| 85 | + | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
| 90 | + | |
| 91 | + | |
| 92 | + | |
| 93 | + | |
83 | 94 |
| |
84 | 95 |
| |
85 | 96 |
| |
86 | 97 |
| |
87 |
| - | |
| 98 | + | |
| 99 | + | |
| 100 | + | |
| 101 | + | |
| 102 | + | |
| 103 | + | |
88 | 104 |
| |
89 | 105 |
| |
90 |
| - | |
| 106 | + | |
91 | 107 |
| |
92 | 108 |
| |
93 | 109 |
| |
| |||
100 | 116 |
| |
101 | 117 |
| |
102 | 118 |
| |
103 |
| - | |
| 119 | + | |
104 | 120 |
| |
105 | 121 |
| |
106 | 122 |
| |
| |||
120 | 136 |
| |
121 | 137 |
| |
122 | 138 |
| |
123 |
| - | |
| 139 | + | |
| 140 | + | |
| 141 | + | |
| 142 | + | |
124 | 143 |
| |
125 |
| - | |
126 |
| - | |
127 |
| - | |
128 |
| - | |
129 |
| - | |
130 |
| - | |
131 |
| - | |
| 144 | + | |
| 145 | + | |
| 146 | + | |
| 147 | + | |
| 148 | + | |
| 149 | + | |
132 | 150 |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
81 | 81 |
| |
82 | 82 |
| |
83 | 83 |
| |
84 |
| - | |
| 84 | + | |
85 | 85 |
| |
86 | 86 |
| |
87 | 87 |
| |
| |||
97 | 97 |
| |
98 | 98 |
| |
99 | 99 |
| |
100 |
| - | |
| 100 | + | |
101 | 101 |
| |
102 |
| - | |
| 102 | + | |
103 | 103 |
| |
104 | 104 |
| |
105 | 105 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
57 | 57 |
| |
58 | 58 |
| |
59 | 59 |
| |
60 |
| - | |
| 60 | + | |
61 | 61 |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
25 | 25 |
| |
26 | 26 |
| |
27 | 27 |
| |
28 |
| - | |
| 28 | + | |
29 | 29 |
| |
30 | 30 |
| |
31 | 31 |
| |
| |||
36 | 36 |
| |
37 | 37 |
| |
38 | 38 |
| |
39 |
| - | |
| 39 | + | |
40 | 40 |
| |
41 | 41 |
| |
42 | 42 |
| |
| |||
52 | 52 |
| |
53 | 53 |
| |
54 | 54 |
| |
55 |
| - | |
| 55 | + | |
56 | 56 |
| |
57 | 57 |
| |
58 | 58 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
542 | 542 |
| |
543 | 543 |
| |
544 | 544 |
| |
545 |
| - | |
546 | 545 |
| |
547 | 546 |
| |
548 | 547 |
| |
549 |
| - | |
| 548 | + | |
550 | 549 |
| |
551 | 550 |
| |
552 | 551 |
| |
|
Lines changed: 1 addition & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
390 | 390 |
| |
391 | 391 |
| |
392 | 392 |
| |
393 |
| - | |
394 | 393 |
| |
395 | 394 |
| |
396 | 395 |
| |
397 |
| - | |
| 396 | + | |
398 | 397 |
| |
399 | 398 |
| |
400 | 399 |
| |
|
Lines changed: 2 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
497 | 497 |
| |
498 | 498 |
| |
499 | 499 |
| |
500 |
| - | |
501 | 500 |
| |
502 | 501 |
| |
503 | 502 |
| |
504 |
| - | |
| 503 | + | |
505 | 504 |
| |
506 | 505 |
| |
507 | 506 |
| |
| |||
665 | 664 |
| |
666 | 665 |
| |
667 | 666 |
| |
668 |
| - | |
| 667 | + | |
669 | 668 |
| |
670 | 669 |
| |
671 | 670 |
| |
|
Lines changed: 8 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
29 | 29 |
| |
30 | 30 |
| |
31 | 31 |
| |
32 |
| - | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
33 | 38 |
| |
| 39 | + | |
34 | 40 |
| |
35 | 41 |
| |
36 | 42 |
| |
37 | 43 |
| |
38 |
| - | |
| 44 | + | |
39 | 45 |
| |
40 | 46 |
| |
41 | 47 |
| |
|
Lines changed: 7 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
99 | 99 |
| |
100 | 100 |
| |
101 | 101 |
| |
102 |
| - | |
| 102 | + | |
103 | 103 |
| |
104 | 104 |
| |
105 | 105 |
| |
| |||
118 | 118 |
| |
119 | 119 |
| |
120 | 120 |
| |
| 121 | + | |
121 | 122 |
| |
122 | 123 |
| |
123 | 124 |
| |
| |||
135 | 136 |
| |
136 | 137 |
| |
137 | 138 |
| |
| 139 | + | |
| 140 | + | |
| 141 | + | |
| 142 | + | |
| 143 | + | |
138 | 144 |
| |
139 | 145 |
| |
140 | 146 |
| |
|
0 commit comments