| .. |
|
armv7
|
5e49aa90df
x86: Use self map to workaround VMWare TLB bug
|
7 years ago |
|
x64
|
5e49aa90df
x86: Use self map to workaround VMWare TLB bug
|
7 years ago |
|
x86
|
5e49aa90df
x86: Use self map to workaround VMWare TLB bug
|
7 years ago |
|
Makefile
|
fc1d41f8c1
Bump version to 0.4.1.
|
7 years ago |
|
build.ck
|
c7338e0152
Compiling x64 kernel.
|
7 years ago |
|
crash.c
|
d7868ca633
Add ACPI shutdown.
|
7 years ago |
|
crashdmp.c
|
473d97e9d9
Build fixes to build on Cygwin.
|
7 years ago |
|
dpc.c
|
0373dd7765
Add GPLv3 banner to all .c, .h, .S, and .ck files.
|
8 years ago |
|
event.c
|
0373dd7765
Add GPLv3 banner to all .c, .h, .S, and .ck files.
|
8 years ago |
|
info.c
|
b64ec647bf
Better handoff of the framebuffer to user mode.
|
7 years ago |
|
init.c
|
c7792acdf5
Remove time zone support from the kernel.
|
7 years ago |
|
ipi.c
|
0373dd7765
Add GPLv3 banner to all .c, .h, .S, and .ck files.
|
8 years ago |
|
keinit.h
|
0373dd7765
Add GPLv3 banner to all .c, .h, .S, and .ck files.
|
8 years ago |
|
kep.h
|
b64ec647bf
Better handoff of the framebuffer to user mode.
|
7 years ago |
|
lock.c
|
0373dd7765
Add GPLv3 banner to all .c, .h, .S, and .ck files.
|
8 years ago |
|
random.c
|
0373dd7765
Add GPLv3 banner to all .c, .h, .S, and .ck files.
|
8 years ago |
|
reset.c
|
d7868ca633
Add ACPI shutdown.
|
7 years ago |
|
runlevel.c
|
0373dd7765
Add GPLv3 banner to all .c, .h, .S, and .ck files.
|
8 years ago |
|
sched.c
|
5e49aa90df
x86: Use self map to workaround VMWare TLB bug
|
7 years ago |
|
syscall.c
|
b9bb096a26
Return signal pending info from syscall C handler.
|
7 years ago |
|
sysclock.c
|
5e49aa90df
x86: Use self map to workaround VMWare TLB bug
|
7 years ago |
|
sysres.c
|
0373dd7765
Add GPLv3 banner to all .c, .h, .S, and .ck files.
|
8 years ago |
|
timer.c
|
0373dd7765
Add GPLv3 banner to all .c, .h, .S, and .ck files.
|
8 years ago |
|
version.c
|
300fe9af30
Convert usage of PSTR to PCSTR in the public kernel API where applicable
|
8 years ago |
|
video.c
|
b64ec647bf
Better handoff of the framebuffer to user mode.
|
7 years ago |
|
workitem.c
|
300fe9af30
Convert usage of PSTR to PCSTR in the public kernel API where applicable
|
8 years ago |
Evan Green
fc1d41f8c1
Bump version to 0.4.1.