diff options
author | Andrew Waterman <andrew@sifive.com> | 2018-07-09 15:46:24 -0700 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2018-07-09 15:46:24 -0700 |
commit | 16476bd8219f58417a401ea0a720d9588d1d8ebc (patch) | |
tree | a6debdb2f24c119d281e1389c8efb0ac68b6fc86 /machine/vm.h | |
parent | 600ff370c65ba99d2103a050a1847671cc0bd9c9 (diff) | |
download | pk-16476bd8219f58417a401ea0a720d9588d1d8ebc.zip pk-16476bd8219f58417a401ea0a720d9588d1d8ebc.tar.gz pk-16476bd8219f58417a401ea0a720d9588d1d8ebc.tar.bz2 |
Properly license all nontrivial files
Diffstat (limited to 'machine/vm.h')
-rw-r--r-- | machine/vm.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/machine/vm.h b/machine/vm.h index 986f301..9436ffb 100644 --- a/machine/vm.h +++ b/machine/vm.h @@ -1,3 +1,5 @@ +// See LICENSE for license details. + #ifndef _VM_H #define _VM_H |