|
Makefile
|
x86: introduce new segmentation.h header
|
2016-09-20 20:46:45 +00:00 |
|
gen_idt.c
|
x86: add _init_irq_gate and use it in gen_idt
|
2016-09-24 01:23:18 +00:00 |
|
version.c
|
Change BSD-3 licenses to Apache 2
|
2016-02-05 20:24:29 -05:00 |
|
version.h
|
Change BSD-3 licenses to Apache 2
|
2016-02-05 20:24:29 -05:00 |
