On Wed, 02 Mar 2022 19:52:18 +0100
Ricardo Wurmus wrote:
> Do I need to prepare the microSD card at all? There’s no
> documentation in the manual, so I have no idea what to do with it
> prior to “guix system init”. Looking at the code I assumed that the
> disk-image-installer procedures take ca
Vagrant Cascadian writes:
> My best guess is some difference in actual board model, card model, etc.
>
> $ lspci
> 00:00.0 PCI bridge: Fuzhou Rockchip Electronics Co., Ltd RK3399 PCI Express
> Root Port
> 01:00.0 SATA controller: ASMedia Technology Inc. ASM1062 Serial ATA
> Controller (
On 2022-04-03, Ricardo Wurmus wrote:
>> On 2022-04-02, Ricardo Wurmus wrote:
>>> Vagrant Cascadian writes:
>> Device 0: (1:0) Vendor: ATA Prod.: Faspeed F510-120 Rev: O080
>> Type: Hard Disk
>> Capacity: 114473.4 MB = 111.7 GB (234441648 x 512)
>> ... is now curren
Hi Vagrant,
> On 2022-04-02, Ricardo Wurmus wrote:
>> Vagrant Cascadian writes:
>>> I was able to get it to work! With your updated patch to disable openssl
>>> (and rebasing against newer u-boot), and the phase modifying the config
>>> and the the rockchip include file to add support for SCSI
On 2022-04-02, Ricardo Wurmus wrote:
> Vagrant Cascadian writes:
>> I was able to get it to work! With your updated patch to disable openssl
>> (and rebasing against newer u-boot), and the phase modifying the config
>> and the the rockchip include file to add support for SCSI devices.
>>
>> The ne
Vagrant Cascadian writes:
>> I think it should be possible to patch u-boot to initialize the PCIe
>> card and boot from the attached disk (with the patched u-boot residing
>> on the microsd card). I tried the relevant subset of the netbsd
>> patches, but the CPU keeps resetting after (successf
On 2022-03-29, Ricardo Wurmus wrote:
>>> I mounted the target disk (an SSD) at /mnt, made sure that the microSD
>>> card was inserted, unmounted, and available at /dev/mmcblk1, and then
>>> ran
>>>
>>>guix system init config.scm /mnt
>>>
>>> This was successful.
>>>
>>> Unfortunately, rebooting
Hi Ricardo,
Ricardo Wurmus writes:
> Hi,
>
>>> I mounted the target disk (an SSD) at /mnt, made sure that the microSD
>>> card was inserted, unmounted, and available at /dev/mmcblk1, and then
>>> ran
>>>
>>>guix system init config.scm /mnt
>>>
>>> This was successful.
>>>
>>> Unfortunately,
Hi Vagrant,
> On 2022-03-02, Ricardo Wurmus wrote:
>> I got myself a rockpro64 board.
> ...
>> So I then decided to build my own system and install a new u-boot onto
>> the microSD card. Here’s the system I built:
> ...
>> (bootloader (bootloader-configuration
>>(bootloader u-
Hi,
>> I mounted the target disk (an SSD) at /mnt, made sure that the microSD
>> card was inserted, unmounted, and available at /dev/mmcblk1, and then
>> ran
>>
>>guix system init config.scm /mnt
>>
>> This was successful.
>>
>> Unfortunately, rebooting failed. There is seemingly no activity
Hi Ricardo,
Ricardo Wurmus writes:
> Hi,
>
> I got myself a rockpro64 board. I put armbian
> (Armbian_21.08.1_Rockpro64_bullseye_current_5.10.60.img) on a microSD
> card to check that it’s all working correctly. Then I downloaded the
> latest Guix System image for a pinebook pro and dd’d it to
Vagrant Cascadian writes:
> [[PGP Signed Part:Undecided]]
> On 2022-03-02, Ricardo Wurmus wrote:
>> I got myself a rockpro64 board.
> ...
>> So I then decided to build my own system and install a new u-boot onto
>> the microSD card. Here’s the system I built:
> ...
>> (bootloader (bootloader
Efraim Flashner writes:
> Are you sure the primary device is /dev/mmcblk1? On my pine64 it's
> mmcblk0.
There is no /dev/mmcblk0 when I boot either Guix System (from USB) or armbian
(from microsd). /dev/mmcblk1 is the microSD card, at least in a booted
system. The device name only matters fo
On 2022-03-02, Ricardo Wurmus wrote:
> I got myself a rockpro64 board.
...
> So I then decided to build my own system and install a new u-boot onto
> the microSD card. Here’s the system I built:
...
> (bootloader (bootloader-configuration
>(bootloader u-boot-rockpro64-rk3399-boot
On Wed, Mar 02, 2022 at 12:37:53PM +0100, Ricardo Wurmus wrote:
> Hi,
>
> I got myself a rockpro64 board. I put armbian
> (Armbian_21.08.1_Rockpro64_bullseye_current_5.10.60.img) on a microSD
> card to check that it’s all working correctly. Then I downloaded the
> latest Guix System image for a
15 matches
Mail list logo
