Re: [Xen-devel] [PATCH 1/2] make xen ocaml safe-strings compliant

2018-03-09 Thread Michael Young
tidied up, but it works for me. Michael YoungFrom 550ffe177842e3fd9f38c78e07072fa7c7b591a5 Mon Sep 17 00:00:00 2001 From: Michael Young Date: Fri, 9 Mar 2018 22:31:41 + Subject: [PATCH v3] make xen ocaml safe-strings compliant Xen built with ocaml 4.06 gives errors such as Error: This

Re: [Xen-devel] [PATCH 1/2] make xen ocaml safe-strings compliant

2018-03-09 Thread Michael Young
On Fri, 9 Mar 2018, Christian Lindig wrote: On 9. Mar 2018, at 22:57, Michael Young wrote: I have had a go at fixing the patch and my revised attempt is attached. I suspect it could be tidied up, but it works for me. Thank you for giving this another go. What is the key difference to

Re: [Xen-devel] [PATCH 1/2] make xen ocaml safe-strings compliant

2018-03-12 Thread Michael Young
+val read : t -> bytes -> int -> int +val write_fd : backend_fd -> 'a -> bytes -> int -> int -- Christian Here is version 4 of the patch where I have replaced the uses of s with b where the patch changes it from string to bytes. I have also removed the two trailing sp

[Xen-devel] xen crash with 4.17 kernel on Fedora

2018-07-01 Thread Michael Young
linux 81062330 gives native_irq_disable /usr/src/debug/kernel-4.17.fc28/linux-4.17.2-200.fc28.x86_64/./arch/x86/include/asm/irqflags.h:44 What is the problem or how might it be debugged? Michael Young ___ Xen-devel mailing list Xen-

Re: [Xen-devel] xen crash with 4.17 kernel on Fedora

2018-07-01 Thread Michael Young
pgtable.h which is inlined into xen_load_gdt_boot by via pfn_pte In 4.16 the equivalent code was static inline pte_t pfn_pte(unsigned long page_nr, pgprot_t pgprot) { return __pte(((phys_addr_t)page_nr << PAGE_SHIFT) | massage_pgprot(pgprot)); } Michael Y

Re: [Xen-devel] Status of comet-4.10 branch

2018-06-15 Thread Michael Young
ranches for XSA-254. Michael Young ___ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel

[Xen-devel] [PATCH 1/2] make xen ocaml safe-strings compliant

2018-01-30 Thread Michael Young
://bugzilla.redhat.com/show_bug.cgi?id=1526703 fixes these issues. Signed-off-by: Michael Young Reviewed-by: Christian Lindig --- tools/ocaml/libs/xb/xb.ml| 6 +++--- tools/ocaml/libs/xc/xenctrl.ml | 2 +- tools/ocaml/xenstored/logging.ml | 22 +++--- tools/ocaml/xenstored

[Xen-devel] [PATCH 2/2] update the minimal ocaml version to 4.02

2018-01-30 Thread Michael Young
The ocaml safe-strings patch uses code introduced in ocaml 4.02 so update the minimal version. Signed-off-by: Michael Young --- stubdom/configure| 4 ++-- stubdom/configure.ac | 2 +- tools/configure | 2 +- tools/configure.ac | 2 +- 4 files changed, 5 insertions(+), 5 deletions

Re: [Xen-devel] kernel-ml-4.15.0-1.el7.elrepo.x86_64 doesn't boot as Xen PV domU

2018-01-31 Thread Michael Young
*/ __UNLIKELY_END(create_bounce_frame_bad_bounce_ip) movq %rax,UREGS_rip+8(%rsp) ret in xen/arch/x86/x86_64/entry.S Michael Young ___ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman

Re: [Xen-devel] kernel-ml-4.15.0-1.el7.elrepo.x86_64 doesn't boot as Xen PV domU

2018-01-31 Thread Michael Young
On Wed, 31 Jan 2018, Michael Young wrote: (XEN) Guest stack trace from rsp=82203e20: (XEN) 81036a89 (XEN)0001e030 00010092 82203e68 e02b (XEN)

Re: [Xen-devel] [PATCH 1/2] make xen ocaml safe-strings compliant

2018-02-06 Thread Michael Young
On Tue, 6 Feb 2018, Wei Liu wrote: On Tue, Jan 30, 2018 at 10:55:47PM +, Michael Young wrote: Xen built with ocaml 4.06 gives errors such as Error: This expression has type bytes but an expression was expected of type string as Byte and safe-strings which were introduced in 4.02

Re: [Xen-devel] [PATCH 1/2] make xen ocaml safe-strings compliant

2018-02-12 Thread Michael Young
On Fri, 9 Feb 2018, Christian Lindig wrote: Sorry, I can’t make a promise because of my other obligations. I do wonder, though: this patch did not come out of nowhere but supposedly was working - what is different here? The patch was from Fedora and is broken there too! It fixes the build is

[Xen-devel] [PATCH] -xen-attach is needed for pvh boot with qemu-xen

2018-01-14 Thread Michael Young
Currently the boot of a pvh guest using the qemu-xen device model fails with the error xen emulation not implemented (yet) in the qemu-dm log file. This patch adds the missing -xen-attach argument. Signed-off-by: Michael Young --- tools/libxl/libxl_dm.c | 3 ++- 1 file changed, 2 insertions

[Xen-devel] [PATCH v2] -xen-attach is needed for pvh boot with qemu-xen

2018-01-15 Thread Michael Young
t;type == LIBXL_DOMAIN_TYPE_PV) || (b_info->type == LIBXL_DOMAIN_TYPE_PVH) as recommended by Roger Pau Monné. Signed-off-by: Michael Young Reviewed-by: Roger Pau Monné --- tools/libxl/libxl_dm.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/libxl/libxl_dm.c b/to

Re: [Xen-devel] [PATCH RFC] ocaml: Fix compile with ocaml 4.06, use unsafe strings

2018-01-28 Thread Michael Young
r the latest (4.06)? Michael Young ___ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel

Re: Xen 4.13.2 released

2020-11-03 Thread Michael Young
://xenproject.org/downloads/xen-project-archives/xen-project-4-13-series/xen-project-4-13-2/ (where a list of changes can also be found). Is the entry for XSA-335 correct on the download page? That was a qemu patch but I don't think it was included in 4.13.2. Michael Young

zstd compressed kernels

2020-11-17 Thread Michael Young
Is anyone else looking at vmlinuz files which use zstd compression? Fedora has started doing so with its 5.9 kernels. Michael Young

Re: zstd compressed kernels

2021-01-16 Thread Michael Young
for you. Yes, it works for me after some minor adjustments as I am still on 4.14. I did spot a spelling error in the comment at the top of xen/include/xen/unaligned.h which has 'witout' which should presumably be 'without'. Michael Young

Re: zstd compressed kernels

2021-01-19 Thread Michael Young
an page for more details. configure: error: ./configure failed for tools I didn't give it any zstd packages so I would expect this test to fail, but I would have expected the build to continue and attempt to use the zstd code in the xen tree instead. Michael Young

Re: 4.14.0 FTBFS for Debian unstable, libxlu_pci.c (�s°□°)�s�� 擤ォ

2020-07-31 Thread Michael Young
libxlu_pci.c:51:14: note: 'dom' was declared here 51 | unsigned dom, bus, dev, func, vslot = 0; | ^~~ That looks like an issue I saw in Fedora which I associated to the update to gcc 10. It is one of the things I fixed (or at least worked around) in the patch here https://src.fedoraproject.org/rpms/xen/blob/master/f/xen.gcc10.fixes.patch Michael Young

Build problems in kdd.c with xen-4.14.0-rc4

2020-06-30 Thread Michael Young
top using [0] arrays to access packet contents patch at http://xenbits.xenproject.org/gitweb/?p=xen.git;a=commit;h=3471cafbdda35eacf04670881dd2aee2558b4f08 which reduced the size of txb from sizeof (kdd_hdr) + 65536 to sizeof (kdd_hdr) which means the code now tries to write beyond the end of txb in both cases. Michael Young

RE: Build problems in kdd.c with xen-4.14.0-rc4

2020-07-03 Thread Michael Young
On Fri, 3 Jul 2020, Paul Durrant wrote: -Original Message- From: Xen-devel On Behalf Of Michael Young Sent: 30 June 2020 23:22 To: xen-devel@lists.xenproject.org Cc: Tim Deegan Subject: Build problems in kdd.c with xen-4.14.0-rc4 I get the following errors when trying to build xen

Re: Panic on CPU 0: FATAL TRAP: vec 7, #NM[0000]

2022-07-20 Thread Michael Young
f xen for F36 at http://koji.fedoraproject.org/koji/taskinfo?taskID=89746549 which has the proposed patch applied if anyone wants to test it. Michael Young

Re: [PATCH 10/10] x86 setup: refactor efi, pvh and multiboot entrypoints to new boot info

2023-07-03 Thread Michael Young
x27;reloc': arch/x86/boot/reloc.c:238:29: note: 'arch_bi_mods' was declared here 238 | struct arch_bootmodule *arch_bi_mods; | ^~~~ cc1: all warnings being treated as errors Is there a problem in the code? Michael Young

HVM failing on 4.16.0 without qemu-xen-traditional

2022-01-08 Thread Michael Young
f I build xen with qemu-xen-traditional re-enabled. The builds have --with-system-seabios= set but if I boot the guest with bios_path_override= pointing to the same file then it does boot. Is this a known issue and is there anything I can do to help debug it? Michael Young Xen 4.16.0

Re: HVM failing on 4.16.0 without qemu-xen-traditional

2022-01-08 Thread Michael Young
On Sat, 8 Jan 2022, Michael Young wrote: I have been trying to build xen 4.16.0 on Fedora without qemu-xen-traditional, but it is failing to start HVM guests. ... Ignore this. The problem is in my rpm spec file which hasn't been properly modified for the no qemu-xen-traditional

Re: Xen Release 4.14.0: Couple of "all warnings being treated as errors" issues and ongoing docs/man issue in make world

2020-12-20 Thread Michael Young
On Sun, 20 Dec 2020, Kevin Buckley wrote: Looking to build 4.14.0 on an LFS 10.0 system, so with GCC 10.2.0. The "all warnings being treated as errors" I'm sure, will have been picked up by now, but the issue with the man pages is something I have been seeing for a while now. They are indeed

Re: [PATCH] xen: Create EFI_VENDOR directory

2021-03-23 Thread Michael Young
urrent Fedora set up for Fedora 35 (which should have xen-4.15) if there is a good reason to do so. I am not sure how useful the xen.efi file in /boot/efi is anyway for the the Fedora set up as it will generally use a xen*.gz file in /boot via grub. Michael Young