search for: is_arm

...= Filename.basename kernel_env in kernel_env, kernel_name, kernel_version with Not_found -> - let is_x86 = - String.length host_cpu = 4 && - host_cpu.[0] = 'i' && host_cpu.[2] = '8' && host_cpu.[3] = '6' in let is_arm = String.length host_cpu >= 3 && host_cpu.[0] = 'a' && host_cpu.[1] = 'r' && host_cpu.[2] = 'm' in @@ -70,18 +80,16 @@ and find_kernel debug host_cpu copy_kernel kernel = let all_files = Array.to_list all_files in...

* 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

...sion %s\n%!" kernel_version; let kernel_name = Filename.basename kernel_env in - kernel_env, kernel_name, kernel_version + let modpath = find_modpath debug kernel_version in + kernel_env, kernel_name, kernel_version, modpath with Not_found -> - let is_arm = - String.length host_cpu >= 3 && - host_cpu.[0] = 'a' && host_cpu.[1] = 'r' && host_cpu.[2] = 'm' in + find_kernel debug host_cpu kernel in - let all_files = Sys.readdir "/boot" in - let all_files = Array....

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.

...[] -> 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 and modules in /li...

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

This two-part patch for supermin implements device trees (for ARM). The first patch introduces a more rational way to handle command line arguments in 'supermin-helper'. See the commit message for details. The old style is still supported for compatibility. The second patch adds an extra supermin-helper --dtb parameter specifying a wildcard. A device tree file which matches the

...be found, exit with an error. - * - * This function returns the module path (ie. /lib/modules/<version>). - */ -const char * -create_kernel (const char *hostcpu, const char *kernel, - const char *dtb_wildcard, const char *dtb) -{ - int is_x86; /* x86 but not x86-64 */ - int is_arm; /* arm */ - - is_x86 = - hostcpu[0] == 'i' && hostcpu[2] == '8' && hostcpu[3] == '6' && - hostcpu[4] == '\0'; - is_arm = hostcpu[0] == 'a' && hostcpu[1] == 'r' && hostcpu[2] == 'm'; - - /* Ov...