git.barrelfish.org Git - barrelfish/commit

author	Adam Turowski <adam.turowski@inf.ethz.ch>
	Mon, 28 Nov 2016 11:44:42 +0000 (12:44 +0100)
committer	Adam Turowski <adam.turowski@inf.ethz.ch>
	Mon, 28 Nov 2016 11:48:50 +0000 (12:48 +0100)
commit	05f3eb5a496bedf9f02700b07107f3092f681729
tree	481fc7851629c14afb8682d736b79542117d5ad5	tree \| snapshot
parent	75f7db5df6da0db1bdba09d9310fc55819e1fec3	commit \| diff

systime: introducing system time based on time stamp counter/global timer, removing kernel_now

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

37 files changed:

devices/ia32.dev		diff \| blob \| history
devices/xapic.dev		diff \| blob \| history
include/arch/arm/barrelfish_kpi/unknown_arch.h		diff \| blob \| history
include/barrelfish/systime.h	[new file with mode: 0644]	blob
include/barrelfish_kpi/dispatcher_shared.h		diff \| blob \| history
include/barrelfish_kpi/types.h		diff \| blob \| history
kernel/Hakefile		diff \| blob \| history
kernel/arch/arm/exn.c		diff \| blob \| history
kernel/arch/armv7/a9_gt.c		diff \| blob \| history
kernel/arch/armv7/init.c		diff \| blob \| history
kernel/arch/armv7/plat_a9mpcore.c		diff \| blob \| history
kernel/arch/armv7/syscall.c		diff \| blob \| history
kernel/arch/x86/apic.c		diff \| blob \| history
kernel/arch/x86/pit.c		diff \| blob \| history
kernel/arch/x86/startup_x86.c		diff \| blob \| history
kernel/arch/x86/syscall.c		diff \| blob \| history
kernel/arch/x86/timing.c		diff \| blob \| history
kernel/arch/x86_64/init.c		diff \| blob \| history
kernel/arch/x86_64/irq.c		diff \| blob \| history
kernel/arch/x86_64/syscall.c		diff \| blob \| history
kernel/dispatch.c		diff \| blob \| history
kernel/include/arch/armv7/a9_gt.h		diff \| blob \| history
kernel/include/arch/x86/apic.h		diff \| blob \| history
kernel/include/arch/x86/global.h		diff \| blob \| history
kernel/include/arch/x86/pit.h		diff \| blob \| history
kernel/include/dispatch.h		diff \| blob \| history
kernel/include/kernel.h		diff \| blob \| history
kernel/include/systime.h	[new file with mode: 0644]	blob
kernel/kcb.c		diff \| blob \| history
kernel/schedule_rbed.c		diff \| blob \| history
kernel/syscall.c		diff \| blob \| history
kernel/systime.c	[new file with mode: 0644]	blob
kernel/wakeup.c		diff \| blob \| history
lib/barrelfish/Hakefile		diff \| blob \| history
lib/barrelfish/deferred.c		diff \| blob \| history
lib/barrelfish/init.c		diff \| blob \| history
lib/barrelfish/systime.c	[new file with mode: 0644]	blob

Barrelfish OS git repo

RSS Atom