search for: kernel_filter

...el = let all_files = Array.to_list all_files in (* In original: ls -1dvr /boot/vmlinuz-*.$arch* 2>/dev/null | grep -v xen *) - let patt = - if is_x86 then "vmlinuz-*.i?86*" - else "vmlinuz-*." ^ host_cpu ^ "*" in - let files = kernel_filter patt is_arm all_files in + let patterns = patt_of_cpu host_cpu in + let files = kernel_filter patterns is_arm all_files in let files = if files <> [] then files else (* In original: ls -1dvr /boot/vmlinuz-* 2>/dev/null | grep -v xen *) -...

* Richard W.M. Jones: > On Sat, Apr 26, 2014 at 02:27:07PM +0200, Hilko Bengen wrote: >> --- >> src/kernel.ml | 43 ++++++++++++++++++++++++++++--------------- >> 1 file changed, 28 insertions(+), 15 deletions(-) >> >> diff --git a/src/kernel.ml b/src/kernel.ml >> index ed5aea3..436b1b0 100644 >> --- a/src/kernel.ml >> +++ b/src/kernel.ml

...te dtb. *) + (match dtb_wildcard with + | None -> () + | Some wildcard -> + find_dtb debug copy_kernel kernel_name wildcard dtb + ); - (* In original: ls -1dvr /boot/vmlinuz-*.$arch* 2>/dev/null | grep -v xen *) - let patterns = patt_of_cpu host_cpu in - let files = kernel_filter patterns is_arm all_files in + if debug >= 1 then ( + printf "supermin: kernel: kernel_version %s\n" kernel_version; + printf "supermin: kernel: modules %s\n%!" modpath; + ); - let files = - if files <> [] then files - else - (* In...

This patch series fixes several problems in the way that supermin handles kernels. The most pressing problem is that supermin doesn't handle bogus vmlinuz files which aren't actual kernels. Along the way there is a lot of clean up. The patches look much better if you view them with ‘-w’. This series will require plenty of time to be tested in Fedora, especially on non-x86 arches.

Hi Rich But there is no src/kernel.ml file on my ubuntu powerpc to which the above patch is reffering. I have installed supermin as supermin_5.1.8-2_powerpc.deb debian package. Thanks On Tue, Jun 3, 2014 at 7:16 PM, Richard W.M. Jones <rjones@redhat.com> wrote: > On Tue, Jun 03, 2014 at 06:55:49PM +0530, abhishek jain wrote: > > supermin: failed to find a suitable kernel

...39; in > > let all_files = Sys.readdir "/boot" in > let all_files = Array.to_list all_files in > > (* In original: ls -1dvr /boot/vmlinuz-*.$arch* 2>/dev/null | grep > -v xen *) > let patterns = patt_of_cpu host_cpu in > let files = kernel_filter patterns is_powerpc all_files in > > let files = > if files <> [] then files > else > (* In original: ls -1dvr /boot/vmlinuz-* 2>/dev/null | grep -v > xen *) > kernel_filter ["vmlinu?-*"] is_powerpc all_files in > &gt...

...cmd; - exit 1 + | [] -> error "dpkg: expecting %s to return some output" cmd | arch :: _ -> dpkg_primary_arch := arch type dpkg_t = { diff --git a/src/kernel.ml b/src/kernel.ml index 046cde9..356ac4b 100644 --- a/src/kernel.ml +++ b/src/kernel.ml @@ -128,16 +128,15 @@ and kernel_filter patterns is_arm all_files = List.filter (fun filename -> has_modpath filename) files and no_kernels host_cpu = - eprintf "\ -supermin: failed to find a suitable kernel (host_cpu=%s). + error "\ +failed to find a suitable kernel (host_cpu=%s). I looked for kernels in /boot an...

Hi, few cleanups in the supermin codebase; no actual functional change. Thanks, -- Pino Toscano (3): ext2: simplify tracking of visited modules utils: remove unused run_python function Add and use an helper error function src/build.ml | 20 +++++----------- src/dpkg.ml | 4 +--- src/ext2_initrd.ml | 10 ++++---- src/kernel.ml | 27

...; in + let all_files = Array.to_list all_files in + + (* In original: ls -1dvr /boot/vmlinuz-*.$arch* 2>/dev/null | grep -v xen *) + let patt = + if is_x86 then "vmlinuz-*.i?86*" + else "vmlinuz-*." ^ host_cpu ^ "*" in + let files = kernel_filter patt is_arm all_files in + + let files = + if files <> [] then files + else + (* In original: ls -1dvr /boot/vmlinuz-* 2>/dev/null | grep -v xen *) + kernel_filter "vmlinuz-*" is_arm all_files in + + if files = [] then no_kernels (); + +...