Logo
Explore Help
Register Sign In
gh0s7/mckernel
1
0
Fork 0
You've already forked mckernel
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
a669fc5125be381a928e6b740f89e493bb248e45
mckernel/arch/x86/kernel
History
Balazs Gerofi 9b5ccb5a33 Pre-map file mappings from /dev/shm (--mpol-shm-premap mcexec argument)
2017-05-23 20:00:06 +09:00
..
include
mcexec: introduction of --profile
2017-05-23 02:42:06 +09:00
context.S
x86: encode cpu# in IA32_TSC_AUX and size of GDTe#15
2016-03-28 22:57:44 +09:00
cpu.c
unhandled_page_fault(): print registers for kernel mode PF
2017-05-23 02:42:05 +09:00
gencore.c
add ACSL annotation
2016-03-16 15:42:32 +09:00
interrupt.S
create rusage branch.
2017-03-15 23:22:51 +09:00
local.c
add ACSL annotation
2016-03-16 15:42:32 +09:00
lock.c
Make lock/unlock in lock.c accord with arch-lock.h
2014-09-23 12:00:18 +09:00
Makefile.arch
Fix need to modify ihk/cokernel/Makefile when a file has been added under mckernel/arch (Bug#365)
2014-12-26 16:05:23 +09:00
memory.c
Pre-map file mappings from /dev/shm (--mpol-shm-premap mcexec argument)
2017-05-23 20:00:06 +09:00
mikc.c
IKC: delete recieve channel list
2017-05-19 10:26:29 +09:00
perfctr.c
fix a couple of debug msgs
2016-08-14 11:30:17 +09:00
syscall.c
IKC: distribute IKC-interrupt to Linux cpus.
2017-05-19 10:26:29 +09:00
trampoline.S
add modification history entry to the following files,
2013-11-14 18:30:06 +09:00
vsyscall.c
create rusage branch.
2017-03-15 23:22:51 +09:00
Powered by Gitea Version: 1.25.3 Page: 49ms Template: 2ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API