change license to gpl3HEADmain

1 files changed, 6 insertions, 0 deletions

diff --git a/src/timer.zig b/src/timer.zig
index 00fd6ba..b86241c 100644
--- a/src/timer.zig
+++ b/src/timer.zig
@@ -1,3 +1,9 @@
+// Copyright (C) 2024 Clyne Sullivan <clyne@bitgloo.com>
+//
+// Distributed under the GNU GPL v3 or later. You should have received a copy of
+// the GNU General Public License along with this program.
+// If not, see <https://www.gnu.org/licenses/>.
+
 const interrupt = @import("interrupt.zig");
 
 const driver_armcortex = packed struct {