or how it is passed to linux-modules... I admit I've just wet my toe
in Guix (and guile programming) and the codebase is huge...
Thank you very much. Now my system reconfigure ended correctly! Time
for latency tests... :-D
On Fri, Jan 27, 2023 at 11:07 AM Tobias Geerinckx-Rice wrote:
>
>
btained another fail, this time due to module
"isci" being not present.
Funny thing is that module isci is produced with CONFIG_SCSI_ISCI,
which is present in my config list!
I've stopped the kernel build after the config phase and I've
inspected the resulting .config f
Dear community,
I would like to customize the configuration of my linux kernel, in
particular of a xenomai-patched one.
In the past days I've followed the route of using the procedure
make-linux-libre*, in particular using the
key #:extra-options to append my customizations to
%default-extra-linu
Dear community,
I am trying to create a package for linux-xenomai (see previous thread
"Creating a package
using two sources/origins").
Thank to your help I managed to successfully build the (patched)
kernel, but when I start a
"guix system reconfigure" to adopt linux-xenomai in my setup the
syste
Hi (, thanks a lot.
Nope, that's not quite correct. Your ARGUMENTS should look like this:
>
> (arguments
>(list #:phases
> #~(modify-phases %standard-phases
> (add-after 'unpack 'unpack-extra-sources
>(lambda _
> (copy-recursively #+xeno
Hi (
as you see I'm not yet practical with G-exp and I still have to
understand where exactly they are useful or not.
On Mon, Dec 12, 2022 at 11:43 PM ( wrote:
>
> Heya,
>
> What you need to do is combine ORIGIN with UNGEXP-NATIVE:
>
> #~(modify-phases %standard-phases
> (add-after 'unpa
Dear Guix members,
I would like to contribute to the project by creating a package for
linux-xenomai (a real-time extension to the linux kernel, see
https://source.denx.de/Xenomai/xenomai/-/wikis/home).
My issue is that, according to xenomai's build instructions, I am
supposed to use both a mainst
Hi Efraim,
Il mer 19 ott 2022, 20:54 Efraim Flashner ha
scritto:
> From a previous email it looks like you only have an rsa key
>
Good point. At the beginning of the discussion I was recycling an old key,
and when I saw those messages (I was not sure whether errors or just info)
I also tried ge
quot;To connect
through https"... probably not...
The other difference is that my first system was based on i686
(32bit), while the latter is x86_64 (64bit).
Whatever the reason, thank you all for the help.
I hope one day I'll be skilled enough to help others as well.
Regards
On Sat, Oct 1
On Fri, Oct 14, 2022 at 7:06 PM Felix Lechner
wrote:
>
> Hi,
>
> On Fri, Oct 14, 2022 at 1:54 AM dabb...@gmail.com wrote:
> >
> > Finally, I also tried to manually start sshd on port
>
> I think that is a fabulous idea, especially if you can prevent
On Thu, Oct 13, 2022 at 11:05 PM Felix Lechner
wrote:
>
> Hi,
Hi Felix
> On Wed, Oct 12, 2022 at 1:33 PM dabb...@gmail.com wrote:
> >
> > I can't login with private credentials.
>
> Did you set a password interactively? Otherwise you can set an initial
> pas
On Thu, Oct 13, 2022 at 7:30 AM Oleg Pykhalov wrote:
>
> Hi,
Hi oleg
[...]
>
> > From another machine I can correctly ping this system at the static
> > address, but I can't login with private credentials. Actually, I can't
> > connect even with password, because every time my client ends with
>
Dear all,
I'm starting with Guix and I'm still learning. I've set up a simple
system with no gui, and now I would like to configure OpenSSH daemon
to accept incoming connections for my two users ("root" and "pcp").
Here is my config.scm file. Both "root.pub" and "pcp.pub" are existing
in /etc when
13 matches
Mail list logo
