b85c30be1b0da1d050f1812cdc724fc5e78df0ae - 3p/sel4/sel4_libs - Git at Google

commit	b85c30be1b0da1d050f1812cdc724fc5e78df0ae	[log] [tgz]
author	TrustworthySystems <gatekeeper@sel4.systems>	Tue Jul 22 14:11:33 2014 +1000
committer	Adrian Danis <Adrian.Danis@nicta.com.au>	Tue Jul 22 14:11:33 2014 +1000
tree	1a5248895a5a1c2f68db4252268d6be1df20c8ee

Release snapshot

Kbuild[Added - diff]
Kconfig[Added - diff]
LICENSE_BSD2.txt[Added - diff]
Makefile[Added - diff]
arch_include/arm/sel4utils/arch/util.h[Added - diff]
arch_include/ia32/sel4utils/arch/util.h[Added - diff]
arch_include/ia64/sel4utils/arch/util.h[Added - diff]
include/sel4utils/client_server_vspace.h[Added - diff]
include/sel4utils/elf.h[Added - diff]
include/sel4utils/mapping.h[Added - diff]
include/sel4utils/process.h[Added - diff]
include/sel4utils/profile.h[Added - diff]
include/sel4utils/sel4_debug.h[Added - diff]
include/sel4utils/stack.h[Added - diff]
include/sel4utils/thread.h[Added - diff]
include/sel4utils/util.h[Added - diff]
include/sel4utils/vspace.h[Added - diff]
include/sel4utils/vspace_internal.h[Added - diff]
src/elf.c[Added - diff]
src/helpers.h[Added - diff]
src/mapping.c[Added - diff]
src/process.c[Added - diff]
src/profile.c[Added - diff]
src/sel4_debug.c[Added - diff]
src/stack.c[Added - diff]
src/thread.c[Added - diff]
src/vspace/bootstrap.c[Added - diff]
src/vspace/client_server_vspace.c[Added - diff]
src/vspace/vspace.c[Added - diff]

29 files changed

tree: 1a5248895a5a1c2f68db4252268d6be1df20c8ee