Re: Oniro or Guix on Zephyr kernel?

2023-03-04 Thread Ryan Sundberg
Hi Joshua, you can find my code to build NetBSD images published here: https://lab.arctype.co/neobsd/netbsd-guix/ It very much just "research", so no guarantees about it being useful for anything. But it certainly does boot NetBSD images with the standard userspace. Work on porting Shepherd was

Re: Oniro or Guix on Zephyr kernel?

2023-03-04 Thread Joshua Branson
Ryan Sundberg writes: > I have also used Guix to build a NetBSD image. You can use Guix to build > just about any operating system image imaginable with the right amount > of practice and patience :) A lot of patience in some cases as you are > sure to hit some uncharted territory building

Re: Oniro or Guix on Zephyr kernel?

2023-03-01 Thread Development of GNU Guix and the GNU System distribution.
https://github.com/paperclip4465/guix-embedded-example Here is an example project which involves a vm and an embedded device. On 2/25/23 10:19, Peter Polidoro wrote: https://github.com/guix-zephyr I actually reserved this organization name on GitHub a while back hoping to someday do what you

Re: Oniro or Guix on Zephyr kernel?

2023-03-01 Thread Ryan Sundberg
I have also used Guix to build a NetBSD image. You can use Guix to build just about any operating system image imaginable with the right amount of practice and patience :) A lot of patience in some cases as you are sure to hit some uncharted territory building whatever it happens to be. Getting

Re: Oniro or Guix on Zephyr kernel?

2023-02-27 Thread Efraim Flashner
On Fri, Feb 24, 2023 at 01:36:06PM -0500, Mitchell Schmeisser via Development of GNU Guix and the GNU System distribution. wrote: > jbra...@dismail.de writes: > > >> Guix System, 1 Gig of ram, etc, due to the package builder and Guix/Nix > >> daemon? If it was possible > >> to declare an

Re: Oniro or Guix on Zephyr kernel?

2023-02-25 Thread Ludovic Courtès
Hi, Peter Polidoro skribis: > Since Guix System can run on both the Linux kernel and the Hurd > kernel, could it, in theory, also run on the Zephyr kernel? Only if/when glibc is ported to that kernel. :-) As a project, I think it’s important for Guix to focus on the GNU libc. Attempting to

Re: Oniro or Guix on Zephyr kernel?

2023-02-25 Thread jbranso
February 24, 2023 2:35 PM, "Tobias Geerinckx-Rice" wrote: > Hi, > > On 2023-02-24 19:36, Mitchell Schmeisser wrote: > >> I don't think the guix daemon is technically > required >> for the shepherd to boot (being the daemon is a shepherd process >> itself). > > No, not at all. I think this is

Re: Oniro or Guix on Zephyr kernel?

2023-02-25 Thread Development of GNU Guix and the GNU System distribution.
Hopefully this work can be incorporated into Guix. Initially I did not have much hope as even Linux does not make the cut and the embedded world is way more friendly to proprietary software/blob sharing. However I don't think there are any blobs in the zephyr code base and while zephyr itself

Re: Oniro or Guix on Zephyr kernel?

2023-02-25 Thread Peter Polidoro
> https://github.com/guix-zephyr I actually reserved this organization name on GitHub a while back hoping to someday do what you already did. I am happy to add you to it or transfer it over to you entirely if you want. I am looking forward to reading the details of what you did, thanks!

Re: Oniro or Guix on Zephyr kernel?

2023-02-25 Thread Development of GNU Guix and the GNU System distribution.
https://github.com/paperclip4465/guix-zephyr > On Feb 25, 2023, at 9:15 AM, Mitchell Schmeisser > wrote: > >  >> >> Are you also planning on making the firmware that you write to run on top of >> Zephyr into Guix packages as well? That could make it way easier to >> synchronize code on

Re: Oniro or Guix on Zephyr kernel?

2023-02-25 Thread Development of GNU Guix and the GNU System distribution.
> Are you also planning on making the firmware that you write to run on top of > Zephyr into Guix packages as well? That could make it way easier to > synchronize code on both a host machine and an embedded board that need to > communicate with each other. > > I would love to read another

Re: Oniro or Guix on Zephyr kernel?

2023-02-25 Thread Peter Polidoro
Thank you for all of your great work on packaging the Zephyr SDK for Guix! I had the same feelings about West and its approach to handling dependencies. PlatformIO has a similar issue where parts of it are very useful, but it would be great to be able use Guix to manage firmware libraries

Re: Oniro or Guix on Zephyr kernel?

2023-02-24 Thread Development of GNU Guix and the GNU System distribution.
Hi Mitchell, On Fri, Feb 24, 2023 at 10:36 AM Mitchell Schmeisser via Development of GNU Guix and the GNU System distribution. wrote: > > My main reason for doing this was because Guix has already replaced > every other package manager on the system. Kudos to this. You should get a prize! Kind

Re: Oniro or Guix on Zephyr kernel?

2023-02-24 Thread Tobias Geerinckx-Rice
Hi, On 2023-02-24 19:36, Mitchell Schmeisser wrote: I don't think the guix daemon is technically required for the shepherd to boot (being the daemon is a shepherd process itself). No, not at all. I think this is a common (and not unreasonable!) assumption we Guixers

Re: Oniro or Guix on Zephyr kernel?

2023-02-24 Thread Development of GNU Guix and the GNU System distribution.
jbra...@dismail.de writes: > February 24, 2023 10:41 AM, "Peter Polidoro" wrote: > >>> Actually, my new friend Mitchell just created a blog post about > using >>> GNU Guix for Zephyr kernels: >>> >>> https://gnucode.me/building-toolchains-with-guix.html >> >> Great blog post, thank you! It

Re: Oniro or Guix on Zephyr kernel?

2023-02-24 Thread jbranso
February 24, 2023 10:41 AM, "Peter Polidoro" wrote: >> Actually, my new friend Mitchell just created a blog post about > using >> GNU Guix for Zephyr kernels: >> >> https://gnucode.me/building-toolchains-with-guix.html > > Great blog post, thank you! It makes me a little hesitant about Zephyr

Re: Oniro or Guix on Zephyr kernel?

2023-02-24 Thread Peter Polidoro
Actually, my new friend Mitchell just created a blog post about using GNU Guix for Zephyr kernels: https://gnucode.me/building-toolchains-with-guix.html Great blog post, thank you! It makes me a little hesitant about Zephyr if they have just given up on other people building their SDK,

Re: Oniro or Guix on Zephyr kernel?

2023-02-24 Thread Joshua Branson
Csepp writes: > Peter Polidoro writes: > >> I just stumbled across Oniro[1], the Eclipse Foundation's new >> operating system. >> >> It seems that its main goal is to be able to run a common operating >> system on multiple embedded kernels, either the Linux kernel for >> larger devices or the

Re: Oniro or Guix on Zephyr kernel?

2023-02-23 Thread Csepp
Peter Polidoro writes: > I just stumbled across Oniro[1], the Eclipse Foundation's new > operating system. > > It seems that its main goal is to be able to run a common operating > system on multiple embedded kernels, either the Linux kernel for > larger devices or the Zephyr kernel for

Oniro or Guix on Zephyr kernel?

2023-02-23 Thread Peter Polidoro
I just stumbled across Oniro[1], the Eclipse Foundation's new operating system. It seems that its main goal is to be able to run a common operating system on multiple embedded kernels, either the Linux kernel for larger devices or the Zephyr kernel for smaller ones. Since Guix System can