diff options
| author | Robert Norton | 2016-05-12 11:53:32 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-05-12 11:53:40 +0100 |
| commit | 123c93b1afc3997d8d2a58c75c05184f4fe8ef73 (patch) | |
| tree | 4776c13e76d272215415409b635de13950746d95 /src/initial_check_full_ast.ml | |
| parent | 153fc080fae382bf3444ed8ae9ecb394342d8964 (diff) | |
Enforce kernel only access to kernel address space. Doesn't really make any difference as without TLB we cannot run any non-kernel mode code anyway.
Diffstat (limited to 'src/initial_check_full_ast.ml')
0 files changed, 0 insertions, 0 deletions