diff options
Diffstat (limited to 'device/intr.c')
| -rw-r--r-- | device/intr.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/device/intr.c b/device/intr.c index 1e9ab898..bbbdc92d 100644 --- a/device/intr.c +++ b/device/intr.c @@ -1,3 +1,17 @@ +/* + * Copyright (c) 2010, 2011, 2016, 2019 Free Software Foundation, Inc. + * + * Permission to use, copy, modify and distribute this software and its + * documentation is hereby granted, provided that both the copyright + * notice and this permission notice appear in all copies of the + * software, derivative works or modified versions, and any portions + * thereof, and that both notices appear in supporting documentation. + * + * THE FREE SOFTWARE FOUNDATIONALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS" + * CONDITION. THE FREE SOFTWARE FOUNDATION DISCLAIMS ANY LIABILITY OF ANY KIND + * FOR ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE. + */ + #include <device/intr.h> #include <device/ds_routines.h> #include <kern/queue.h> |