Home
last modified time | relevance | path

Searched refs:kernel (Results 1 – 25 of 109) sorted by relevance

12345

/xen/docs/misc/
A Dkexec_and_kdump.txt26 | dom0 kernel | dom0 kernel
29 | dom0 kernel |
34 Linux -> Linux | first kernel | second kernel
52 Before kexecing the second kernel or hypervisor & dom0 kernel
66 DOM0_IMAGE: dom0 kernel image
102 | dom0 kernel |
104 Linux -> Linux | first kernel | crash kernel
154 0533f000-0733efff : Crash kernel
163 running kernel.
186 depending on the kernel version
[all …]
A Damd-ucode-container.txt60 Example System base: Ubuntu 13.04 with 3.8.0-30-generic kernel
64 3. mkdir -p kernel/x86/microcode
67 kernel/x86/microcode/AuthenticAMD.bin
89 [2] https://git.kernel.org/cgit/linux/kernel/git/firmware/linux-firmware.git/tree/amd-ucode
A Dvtpm-platforms.txt28 kernel="/usr/lib/xen/boot/vtpmmgr-stubdom.gz"
37 kernel="/usr/lib/xen/boot/vtpm-stubdom.gz"
44 kernel="/usr/lib/xen/boot/vtpm-stubdom.gz"
53 kernel="/usr/lib/xen/boot/pv-grub-x86_64.gz"
60 kernel="/usr/lib/xen/boot/pv-grub-x86_64.gz"
95 using the same kernel as the hardware domain to conserve space in the domain
129 In order to use pv-grub to obtain measurements of the guest kernel in PCRs 4 and
141 PCR 4 contains the hash of the domain's kernel.
A Dkconfig.rst16 New kernel releases often introduce new config symbols. Often more
17 important, new kernel releases may rename config symbols. When
19 "make oldconfig" won't necessarily produce a working new kernel
20 for you, so you may find that you need to see what NEW kernel
41 This environment variable can be used to specify a default kernel config
77 in. Then the kernel config system generates the full .config file,
149 If this variable has a non-blank value, it prevents silent kernel
178 The Search function searches for kernel configuration symbol
277 The Search function searches for kernel configuration symbol
A Dstubdom.txt53 1. PV stubdomain is started with ioemu-stubdom.gz kernel and no initrd
115 1. toolstack starts PV stubdomain with stubdom-linux-kernel kernel and stubdom-linux-initrd initrd
136 disk / fetch files from network etc. ; it eventually loads the PV kernel and
144 - use pv-grub.gz as kernel:
146 kernel = "pv-grub.gz"
167 - You can not boot a 64bit kernel with a 32bit-compiled PV-GRUB and vice-versa.
173 for use by the booted kernel.
197 and the relevant Makefile rules as basis to build your own stub domain kernel.
A Dx86-xenpv-bootloader.pandoc6 that is, a bootloader which is itself a PV kernel but which behaves as
45 kernel of a different width from itself, and this extends to
49 systems with 32-bit userspace and an optional 64-bit kernel).
A Dpvh.pandoc3 Since the Xen entry point into the kernel can be different from the
5 builder how to load and jump into the kernel entry point:
10 kernel supports the boot ABI described in this document.
12 The domain builder must load the kernel into the guest memory space and
40 Other relevant information needed in order to boot a guest kernel
/xen/tools/pygrub/src/
A DExtLinuxConf.py45 if com.lower() == "append" and self.kernel is not None:
46 (_,kernel) = self.kernel
47 if kernel.endswith("mboot.c32"):
48 kernel = None
54 (_,kernel,initrd) = modules
56 (kernel,initrd) = modules
58 if kernel:
59 setattr(self, "kernel", kernel.strip())
93 (kernel, args) = val.split(None, 1)
94 self._kernel = (None,kernel)
[all …]
/xen/tools/misc/
A Dxenpvnetboot36 def format_sxp(kernel, ramdisk, args): argument
37 s = 'linux (kernel %s)' % kernel
45 def format_simple(kernel, ramdisk, args, sep): argument
46 s = ('kernel %s' % kernel) + sep
243 kernel = None
244 if opts.kernel:
245 kernel = fetcher.get_file(opts.kernel)
249 kernel = fetcher.get_file(kernel_path)
256 if not kernel:
277 output = format_sxp(kernel, ramdisk, opts.args)
[all …]
/xen/docs/misc/arm/device-tree/
A Dbooting.txt1 Dom0 kernel and ramdisk modules
4 Xen is passed the dom0 kernel and initrd via a reference in the /chosen
18 - "multiboot,kernel" -- the dom0 kernel
27 specific compatible string is a "multiboot,kernel".
56 - "xen,linux-zimage" equivalent to "multiboot,kernel"
71 bootargs for the kernel.
168 for the DomU kernel and ramdisk.
170 The kernel sub-node has the following properties:
174 "multiboot,kernel", "multiboot,module"
183 Command line parameters for the guest kernel.
[all …]
/xen/xen/arch/x86/oprofile/
A Dxenoprof.c33 counter_config[counter.ind].kernel = counter.kernel; in xenoprof_arch_counter()
70 counter_config[counter.ind].kernel = counter.kernel; in compat_oprof_arch_counter()
A Dop_counter.h22 unsigned long kernel; member
/xen/docs/misc/arm/
A Dbooting.txt38 Latest version: http://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/tree/Documentation/a…
41 Latest version: http://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/tree/Documentation/a…
/xen/xen/tools/kconfig/
A DREADME.source8 The kconfig directory was originally imported from the linux kernel
9 git tree at kernel/git/torvalds/linux.git, path: scripts/kconfig
/xen/tools/debugger/gdbsx/
A DREADME6 kernel modules. It runs on dom0 running on xen hypervisor and allows debug
23 bash> gdb ./vmlinux (exact matching vmlinux of guest kernel)
26 - Additionally, to debug 32bit loadable kernel modules, please do following:
41 o since gdb is not kernel debugger, vcpus are emulated via threads
118 Show the list of modules loaded in the Linux kernel.
/xen/docs/man/
A Dxen-vtpm.7.pod80 Linux kernel virtual TPM frontend driver. This driver
140 =head2 Compiling the LINUX dom0 kernel:
160 =head2 Compiling the LINUX domU kernel:
162 The domU kernel used by domains with vtpms must include the xen-tpmfront.ko
163 driver. It can be built directly into the kernel or as a module; however, some
164 features such as IMA require the TPM to be built in to the kernel.
284 using a trusted configuration and guest kernel be able to provide guarantees
285 about the guests and any measurements done that kernel (such as the IMA TCB
286 log). Guests wishing to use a custom kernel in such a secure environment are
288 the untrusted kernel without needing to parse an untrusted filesystem and kernel
[all …]
/xen/tools/examples/
A Dxlexample.pvlinux17 kernel = "/boot/vmlinuz"
30 # (this assumes guest kernel support for ballooning)
/xen/tools/helpers/
A Dinit-xenstore-domain.c21 static char *kernel; variable
154 rv = xc_dom_kernel_file(dom, kernel); in build()
358 kernel = optarg; in main()
384 if ( optind != argc || !kernel || !memory ) in main()
/xen/xen/arch/arm/
A Dkernel.c160 void *kernel; in kernel_zimage_load() local
170 kernel = ioremap_wc(paddr, len); in kernel_zimage_load()
171 if ( !kernel ) in kernel_zimage_load()
175 kernel, len); in kernel_zimage_load()
179 iounmap(kernel); in kernel_zimage_load()
/xen/docs/features/
A Ddom0less.pandoc32 U-Boot needs to load not just Xen, the device tree binary, the dom0 kernel and
33 ramdisk. It also needs to load the kernel and ramdisk of any additional domains
43 If we want to add one DomU with Image-DomU as the DomU kernel
72 compatible = "multiboot,kernel", "multiboot,module";
84 cpus. module@2000000 and module@3000000 advertise where the kernel and
/xen/tools/libxl/
A Dlibxl_bootloader.c62 if (info->kernel) in make_bootloader_args()
63 ARG(GCSPRINTF("--kernel=%s", info->kernel)); in make_bootloader_args()
188 bl->kernel->path = libxl__strdup(gc, rhs); in parse_bootloader_result()
189 libxl__file_reference_map(bl->kernel); in parse_bootloader_result()
190 unlink(bl->kernel->path); in parse_bootloader_result()
336 bl->kernel->path = bl->info->kernel; in libxl__bootloader_run()
/xen/xen/arch/x86/x86_64/
A Dtraps.c165 bool kernel = guest_kernel_mode(v, regs); in vcpu_show_registers() local
174 crs[3] = pagetable_get_paddr(kernel ? in vcpu_show_registers()
179 crs[6 + !kernel] = v->arch.pv.gs_base_kernel; in vcpu_show_registers()
180 crs[7 - !kernel] = v->arch.pv.gs_base_user; in vcpu_show_registers()
/xen/stubdom/grub/
A Dconfig.h9 void kexec(void *kernel, long kernel_size, void *module, long module_size, char *cmdline, unsigned …
/xen/xen/tools/kconfig/lxdialog/
A DBIG.FAT.WARNING3 kernel configuration script. Please do not bother Savio Lam with
/xen/
A DREADME88 Second, you need to acquire a suitable kernel for use in domain 0. If
89 possible you should use a kernel provided by your OS distributor. If
90 no suitable kernel is available from your OS distributor then refer to
93 If you are looking to compile a Dom0 kernel from source, please refer to
202 Tboot is an open source, pre- kernel/VMM module that uses Intel(R) TXT to
203 perform a measured and verified launch of an OS kernel/VMM.

Completed in 18 milliseconds

12345