search for: armmp

...pc64el" -> ["powerpc64le"] | _ when host_cpu.[0] = 'i' && host_cpu.[2] = '8' && host_cpu.[3] = '6' -> ["?86"] | _ when String.length host_cpu >= 5 && String.sub host_cpu 0 5 = "armv7" -> ["armmp"] | _ -> [host_cpu] diff --git a/src/utils.ml b/src/utils.ml index 4223be4..e3b8742 100644 --- a/src/utils.ml +++ b/src/utils.ml @@ -183,6 +183,8 @@ let compare_architecture a1 a2 = | a when string_prefix "armv6" a -> 32 | a when string_prefix "armv7" a...

...| "amd64" | "x86_64" -> ["amd64"; "x86_64"] + | _ when host_cpu.[0] = 'i' && host_cpu.[2] = '8' && host_cpu.[3] = '6' -> ["?86"] + | _ when String.sub host_cpu 0 5 = "armv7" -> ["armmp"] + | _ -> [host_cpu] + in + List.map (fun model -> sprintf "vmlinu?-*-%s" model) models + let rec build_kernel debug host_cpu dtb_wildcard copy_kernel kernel dtb = (* Locate the kernel. *) let kernel_name, kernel_version = @@ -59,9 +72,6 @@ and find_kernel debug ho...

...; | "x86_64" -> ["amd64"; "x86_64"] >> + | _ when host_cpu.[0] = 'i' && host_cpu.[2] = '8' && host_cpu.[3] = '6' -> ["?86"] >> + | _ when String.sub host_cpu 0 5 = "armv7" -> ["armmp"] This fails on short strings. I have fixed those and added a fix so that device trees can be found on Debian. Cheers, -Hilko

...CPU(s) started in HYP mode. > [ 0.053111] CPU: Virtualization extensions available. > [ 1.572315] ledtrig-cpu: registered to indicate activity on CPUs > [ 1.575670] ThumbEE CPU extension supported. > root@cubietruck:~# dmesg | grep SMP > [ 0.000000] Linux version 4.3.0-1-armmp-lpae > (debian-kernel@lists.debian.org) (gcc version 4.9.3 (Debian 4.9.3-11) ) #1 > SMP Debian 4.3.5-1 (2016-02-06) > [ 0.000000] Forcing write-allocate cache policy for SMP > [ 0.053098] SMP: Total of 2 processors activated (96.00 BogoMIPS). > root@cubietruck:~# dmesg | grep k...

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

...quot;; "x86_64"] > | _ when host_cpu.[0] = 'i' && host_cpu.[2] = '8' && host_cpu.[3] = > '6' -> ["?86"] > | _ when String.length host_cpu >= 5 && String.sub host_cpu 0 5 = > "armv7" -> ["armmp"] > | _ -> [host_cpu] > in > List.map (fun model -> sprintf "vmlinu?-*-%s" model) models > > let rec build_kernel debug host_cpu dtb_wildcard copy_kernel kernel dtb = > (* Locate the kernel. *) > let kernel_name, kernel_version = > find_k...