diff options
Diffstat (limited to 'machine/disabled_hart_mask.h')
-rw-r--r-- | machine/disabled_hart_mask.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/machine/disabled_hart_mask.h b/machine/disabled_hart_mask.h index 2a3a73c..3dd98e3 100644 --- a/machine/disabled_hart_mask.h +++ b/machine/disabled_hart_mask.h @@ -1,3 +1,5 @@ +// See LICENSE for license details. + #ifndef DISABLED_HART_MASK_H #define DISABLED_HART_MASK_H extern long disabled_hart_mask; |