Displaying 2 results from an estimated 2 matches for "436b1b0".
Did you mean:
436,10
2014 Apr 26
2
[supermin] Be smarter about finding suitable kernel images
---
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
@@ -23,6 +23,19 @@ open Utils
open Ext2fs
open Fnmatch
+let patt_of_cpu host_cpu =
+ let models =
+ match host_cpu with
+ | "mips" | "mips64" -> [host_cpu; "*-malta"]
+ | "ppc" | "powerpc&qu...
2014 Apr 28
2
Re: [supermin] Be smarter about finding suitable kernel images
...> 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
>> @@ -23,6 +23,19 @@ open Utils
>> open Ext2fs
>> open Fnmatch
>>
>> +let patt_of_cpu host_cpu =
>> + let models =
>> + match host_cpu with
>> + | "mips" | "mi...