]> rtime.felk.cvut.cz Git - l4.git/commit
fiasco: bootstrap: copy bootstrap into bootstrap_custom for to port this into Jailhouse.
authorMaxim Baryshnikov <barysmax@fel.cvut.cz>
Mon, 11 Apr 2016 11:16:55 +0000 (13:16 +0200)
committerMaxim Baryshnikov <barysmax@fel.cvut.cz>
Mon, 11 Apr 2016 11:16:55 +0000 (13:16 +0200)
commit1cfb82633daba486807c0c89d0874b37d81a675c
tree0f89bd27409f036fa9356cb48d7471df72b5b996
parent86007690c5769daa3cc0a99a5d17f81101467aaf
fiasco: bootstrap: copy bootstrap into bootstrap_custom for to port this into Jailhouse.
130 files changed:
l4/pkg/bootstrap_custom/Control [new file with mode: 0644]
l4/pkg/bootstrap_custom/LEGAL [new file with mode: 0644]
l4/pkg/bootstrap_custom/Makefile [new file with mode: 0644]
l4/pkg/bootstrap_custom/README [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/Makefile [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/boot32/boot.S [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/boot32/boot_cpu.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/boot32/boot_cpu.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/boot32/boot_idt.S [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/boot32/boot_kernel.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/boot32/boot_paging.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/boot32/bootstrap32.ld [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/boot32/load_elf.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/boot32/load_elf.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/boot32/minilibc_support.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/crt0.S [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/Makefile [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/__assert_fail.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/__lltostr.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/__ltostr.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/__v_printf.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/include/assert.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/include/cdefs.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/include/ctype.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/include/libc_backend.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/include/memcpy.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/include/panic.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/include/stdarg-cruft.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/include/stdarg.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/include/stddef.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/include/stdio.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/include/stdlib.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/include/string.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/include/strings.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/isspace.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/memcpy.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/memmove.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/memset.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/printf.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/puts.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/strtol.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/strtoul.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/vprintf.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/libc32/vprintf_backend.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-amd64/macros.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-arm/bootstrap.ld.in [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-arm/crt0.S [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-arm/head.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-arm/macros.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-arm/reboot.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-ppc32/bootstrap.ld.in [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-ppc32/crt0.S [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-ppc32/head.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-ppc32/init_kip_v2-arch.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-ppc32/macros.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-ppc32/reboot.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-sparc/bootstrap.ld.in [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-sparc/crt0.S [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-sparc/head.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-sparc/leon_ahb.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-sparc/macros.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-sparc/reboot.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-x86/bootsect.S [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-x86/bootstrap.ld.in [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-x86/crt0.S [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-x86/inmate.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-x86/macros.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-x86/reboot.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-x86/setup.S [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ARCH-x86/xen.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/Make.rules [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/Makeconf.local [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/Makefile [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/Makefile.platform [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/README [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/base_critical.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/base_critical.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/boot_modules.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/build.pl [new file with mode: 0755]
l4/pkg/bootstrap_custom/server/src/exec.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/exec.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/gunzip.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/gunzip.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/init_kip-arch.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/init_kip.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/init_kip_f.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/koptions-def.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/koptions.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/koptions.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/ldscript.inc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/libc_support+.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/memory.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/mod_info.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/module.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/module.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/panic.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/patch.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/patch.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/armada38x.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/exynos.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/imx.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/integrator.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/kirkwood.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/leon3.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/mmio_16550.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/mpc5200.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/om.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/omap.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/pxa.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/rpi.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/rv.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/rv_vexpress.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/sa1000.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/sunxi.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/tegra2.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/tegra3.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/x86_efi_pc.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/x86_pc-base.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/x86_pc.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform/zynq.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/platform_common.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/region.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/region.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/startup.cc [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/startup.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/support.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/types.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/uncompress.c [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/uncompress.h [new file with mode: 0644]
l4/pkg/bootstrap_custom/server/src/unpack [new file with mode: 0755]