On 11.10.2024 10:52, Frediano Ziglio wrote: > diff --git a/xen/tools/combine_two_binaries b/xen/tools/combine_two_binaries > new file mode 100755 > index 0000000000..ea2d6ddc4e > --- /dev/null > +++ b/xen/tools/combine_two_binaries > @@ -0,0 +1,198 @@ > +#!/usr/bin/env python3
Nit: Such files, by convention, are named *.py, I think. Jan
