About Guix OS VM and Guix Package Management support request from Operating System developers

2024-10-18 Thread wearefromuniverse--- via
Hi, We are From Universe Community has started an Operating System Project. TesseraQt-GNU OS Project. The goal of this project is to create an Ultra hightly secure Operating System from GNU Guix OS and Qubes OS projects. For this we need to adapt Guix OS to replace fedora, the main operating

Re: About Guix OS VM and Guix Package Management support request from Operating System developers

2024-10-18 Thread Denis 'GNUtoo' Carikli
On Thu, 17 Oct 2024 21:18:16 +0200 (CEST) wearefromuniverse--- via wrote: > Hi, Hi, > For this we need to adapt Guix OS to replace fedora, the main > operating system of Qubes OS. To run Guix OS inside VM Qubes we need > a GNU Guix OS virtual machine. We need to ensure that this virtual > machine

Re: ABI mismatch on boot on arm32 system

2024-10-18 Thread Denis 'GNUtoo' Carikli
On Wed, 16 Oct 2024 12:11:30 +0200 Christoph Buck wrote: > Hi! Hi, > Currently i am trying to create an guix image which will boot on > embedded imx6 arm32 board. Following the guix manual, i was able to > create such an image. This involved adding a custom uboot version and > a kernel with cust

Re: About Guix OS VM and Guix Package Management support request from Operating System developers

2024-10-18 Thread wearefromuniverse--- via
Please check the repository of our TESSERAQT-GNU Project: https://github.com/We-are-from-Universe/TESSERAQT-GNU_OS We are From Universe WFU (We are From Universe) Community is a High Secure Opera

Guix 1.4.0+i686: getting ghc substitutes?

2024-10-18 Thread Denis 'GNUtoo' Carikli
Hi, In GNU Boot we use Guix 1.4.0 instead of the latest revision because we can easily point to the 1.4.0 manual and we don't need to update our code following Guix changes. We also use i686 (--system=i686-linux) to enable to build GNU Boot on all the computers we support. Until now that worked