Dear,
I do not know if there is an issue from my side but the link returns
"Server Not Found".
Basically, I have the issue with https://www.gnu.org/s/guix/
However, it works for:
http://guix.info/blog/
and without the last blog entry.
All the best,
simon
Hello!
It’s on-line now:
https://gnu.org/s/guix/blog/2019/creating-and-using-a-custom-linux-kernel-on-guix-system/
Thank you, Efraim, and thanks to the reviewers!
Ludo’.
On Mon, May 20, 2019 at 04:57:28PM +0200, Ludovic Courtès wrote:
> Hello Efraim,
>
> Like I wrote before, I like the tone and how the post addresses the
> topic. So I just have minor cosmetic suggestions, and then I guess you
> can push to guix-artwork.git and we can put it on-line maybe tomorrow
Hello Efraim,
Like I wrote before, I like the tone and how the post addresses the
topic. So I just have minor cosmetic suggestions, and then I guess you
can push to guix-artwork.git and we can put it on-line maybe tomorrow?
Efraim Flashner skribis:
> Guix is, at its core, a source based distri
On Thu, May 16, 2019, Mark H Weaver wrote:
> Marius Bakke writes:
>
> > I just want to point out an (IMO) easier way to provide a custom kernel
> > configuration, that does not involve the "make-linux-libre" procedure:
> >
> > (define-public linux-libre/custom
> > (package
> > (inherit linu
On Thu, May 16, 2019 at 08:15:16PM -0400, Mark H Weaver wrote:
> Hi Marius,
>
> Marius Bakke writes:
>
> > I just want to point out an (IMO) easier way to provide a custom kernel
> > configuration, that does not involve the "make-linux-libre" procedure:
> >
> > (define-public linux-libre/custom
Hi Marius,
Marius Bakke writes:
> I just want to point out an (IMO) easier way to provide a custom kernel
> configuration, that does not involve the "make-linux-libre" procedure:
>
> (define-public linux-libre/custom
> (package
> (inherit linux-libre)
> (native-inputs
> `(("kconfi
On Thu, May 16, 2019 at 01:10:37PM +0200, Pierre Neidhardt wrote:
> Great work!
> This proved invaluable for me (and I'm sure for many others), thank you so
> much!
>
> Comments:
>
> > added in since I used replaced them in the extra-options keyword.
>
> Typo: "used replaced".
>
Ooops, looks l
On Thu, May 16, 2019 at 04:29:56PM +0200, Marius Bakke wrote:
> Hi Efraim,
>
> I just want to point out an (IMO) easier way to provide a custom kernel
> configuration, that does not involve the "make-linux-libre" procedure:
>
> --8<---cut here---start->8---
> (
Hi Efraim,
Efraim Flashner writes:
> I've cleaned up the blog post a bit and run it through a spell checker.
> I'm unsure about Linux-Libre vs linux-libre, regarding talking about the
> kernel and the package. I think I glossed over it well enough that I
> didn't actually get a custom kernel up
Another thing:
> The next step is to run
>
> ```shell
> make localmodconfig
> ```
>
> and note the output. Do note that the '.config' file is still empty.
> The output generally contains two types of warnings. The first start
> with "WARNING" and can actually be ignored in our case. The second
I've cleaned up the blog post a bit and run it through a spell checker.
I'm unsure about Linux-Libre vs linux-libre, regarding talking about the
kernel and the package. I think I glossed over it well enough that I
didn't actually get a custom kernel up and running on my laptop, but for
the purpose
On Sun, May 05, 2019 at 08:46:48PM -0700, Chris Marusich wrote:
> Pierre Neidhardt writes:
>
> > Any update on the blog post?
>
> I also intend to look at it and try what Efraim has written, but have
> not yet found the time.
>
I haven't forgotten about it, I was on vacation for a bit and then
Pierre Neidhardt writes:
> Any update on the blog post?
I also intend to look at it and try what Efraim has written, but have
not yet found the time.
--
Chris
signature.asc
Description: PGP signature
Hello,
Mark H Weaver skribis:
> Ludovic Courtès writes:
[...]
>>> (define-public linux-libre-E2140
>>> (let ((base
>>> ((@@ (gnu packages linux) make-linux-libre)
>>>(@@ (gnu packages linux) %linux-libre-version)
>>>(@@ (gnu packages linux) %linux-libre-has
Hi,
Ludovic Courtès writes:
> Efraim Flashner skribis:
>
>> title: Creating and using a custom Linux kernel on Guix System
>> date: 2019-04-04 00:00
>> author: Efraim Flashner
>> tags: kernel, customization
>
> Really nice!
>
>> (define-public linux-libre-E2140
>> (let ((base
>> ((@
Any update on the blog post?
--
Pierre Neidhardt
https://ambrevar.xyz/
signature.asc
Description: PGP signature
Hello,
Efraim Flashner skribis:
> title: Creating and using a custom Linux kernel on Guix System
> date: 2019-04-04 00:00
> author: Efraim Flashner
> tags: kernel, customization
Really nice!
> (define-public linux-libre-E2140
> (let ((base
> ((@@ (gnu packages linux) make-linux-lib
On Thu, Apr 04, 2019 at 01:44:48AM -0700, Chris Marusich wrote:
> Efraim Flashner writes:
>
> > On Wed, Apr 03, 2019 at 09:49:59PM +0200, Pierre Neidhardt wrote:
> >> Thank you Efraim, this is awesome!
>
> I second this remark! It's really helpful to see how you're doing it.
> Thank you for tak
Efraim Flashner writes:
> On Wed, Apr 03, 2019 at 09:49:59PM +0200, Pierre Neidhardt wrote:
>> Thank you Efraim, this is awesome!
I second this remark! It's really helpful to see how you're doing it.
Thank you for taking the time to share with us!
>> > tar xf $(guix build linux-libre -S)
>> >
On Wed, Apr 03, 2019 at 09:49:59PM +0200, Pierre Neidhardt wrote:
> Thank you Efraim, this is awesome!
>
> Efraim Flashner writes:
>
> > For the first one I used the #:extra-options route and compiled a list.
> > The second one I tried I created a custom kernel and left #:defconfig as
> > #f and
On Wed, Apr 03, 2019 at 01:08:14AM -0700, Chris Marusich wrote:
> Efraim Flashner writes:
>
> > I'm playing around with the idea of creating a custom kernel
>
> Cool! I'm curious to know how you're passing the custom config in. Are
> you using the #:extra-options keyword argument of the make-l
Efraim Flashner writes:
> I'm playing around with the idea of creating a custom kernel
Cool! I'm curious to know how you're passing the custom config in. Are
you using the #:extra-options keyword argument of the make-linux-libre
procedure? Are you passing in a procedure to generate the entire
On Mon, Apr 01, 2019 at 09:46:27PM +0200, Ludovic Courtès wrote:
> Hello!
>
> Related to that (somewhat :-)), it’d be great to have a kernel config
> specialized for VMs that can boot very quickly.
>
> The Kata Containers folks (it has the word “containers” in it but it’s
> really about VMs) prid
On Tue, Apr 02, 2019 at 10:04:29AM +0200, Pierre Neidhardt wrote:
> Efraim Flashner writes:
>
> > I haven't checked to see if my custom kernel works yet on my laptop, but
> > compile time was 43 minutes on my kids' computer. Stock
> > linux-libre@5.0.5 took 267 minutes.
> >
> > My custom kernel c
Efraim Flashner writes:
> I haven't checked to see if my custom kernel works yet on my laptop, but
> compile time was 43 minutes on my kids' computer. Stock
> linux-libre@5.0.5 took 267 minutes.
>
> My custom kernel came in at 34MB, the stock kernel is 251MB.
Great success! :)
My attempts on my
On Mon, Apr 01, 2019 at 08:30:28PM +0200, Pierre Neidhardt wrote:
> This is very interesting, I've been wanting to do this for a while.
> Is it working for you? What are the before/after build times?
>
I haven't checked to see if my custom kernel works yet on my laptop, but
compile time was 43 m
Hello!
Related to that (somewhat :-)), it’d be great to have a kernel config
specialized for VMs that can boot very quickly.
The Kata Containers folks (it has the word “containers” in it but it’s
really about VMs) pride themselves on having a kernel that boots in
600ms in KVM.
Ludo’.
I'm playing around with the idea of creating a custom kernel for my
laptop and I started by following Gentoo's kernel config instructions.
I'm including what I have currently. I want to create a kernel which is
good for my laptop and takes less time to build than the standard
kernel. By leaving the
29 matches
Mail list logo
