rtime.felk.cvut.cz Git - l4.git/commit

]> rtime.felk.cvut.cz Git - l4.git/commit

update

git-svn-id: http://svn.tudos.org/repos/oc/tudos/trunk@52 d050ee49-bd90-4346-b210-929a50b99cfc

22 files changed:

kernel/fiasco/src/drivers/keyb-pc.cpp		diff \| blob \| history
kernel/fiasco/src/drivers/keyb.cpp		diff \| blob \| history
kernel/fiasco/src/kern/arm/bsp/exynos/pic-arm-gic-exynos.cpp		diff \| blob \| history
kernel/fiasco/src/kern/arm/bsp/exynos/smc.cpp		diff \| blob \| history
kernel/fiasco/src/kern/boot_alloc.cpp		diff \| blob \| history
kernel/fiasco/src/kern/ia32/boot_console-ia32-amd64.cpp		diff \| blob \| history
kernel/fiasco/src/kern/koptions-def.h		diff \| blob \| history
l4/doc/source/pthreads.dox		diff \| blob \| history
l4/mk/platforms/exynos4.conf	[new file with mode: 0644]	blob
l4/mk/platforms/exynos5.conf	[new file with mode: 0644]	blob
l4/pkg/bootstrap/server/src/Make.rules		diff \| blob \| history
l4/pkg/bootstrap/server/src/Makefile.platform		diff \| blob \| history
l4/pkg/bootstrap/server/src/build.pl		diff \| blob \| history
l4/pkg/bootstrap/server/src/libc_support+.cc		diff \| blob \| history
l4/pkg/bootstrap/server/src/loader_mbi.cc		diff \| blob \| history
l4/pkg/bootstrap/server/src/loader_mbi.h		diff \| blob \| history
l4/pkg/bootstrap/server/src/platform/exynos.cc		diff \| blob \| history
l4/pkg/bootstrap/server/src/region.cc		diff \| blob \| history
l4/pkg/bootstrap/server/src/region.h		diff \| blob \| history
l4/pkg/bootstrap/server/src/startup.cc		diff \| blob \| history
l4/pkg/bootstrap/server/src/support.h		diff \| blob \| history
l4/pkg/l4sys/include/__vm-vmx.h		diff \| blob \| history