gistfile1.txt

U-Boot 2020.04 (Apr 13 2020 - 15:02:18 +0000) for ODROID-XU3/XU4/HC1/HC2

CPU:   Exynos5422 @ 800 MHz
DRAM:  2 GiB
MMC:   EXYNOS DWMMC: 0, EXYNOS DWMMC: 2
Loading Environment from MMC... *** Warning - bad CRC, using default environment

In:    serial
Out:   serial
Err:   serial
Model: Odroid XU3/XU4/HC1/HC2 based on Exynos5422
Type:  hc1
In:    serial
Out:   serial
Err:   serial
Boot device: MMC(2)
Net:   No ethernet found.
Hit any key to stop autoboot:  0 
switch to partitions #0, OK
mmc2 is current device
Scanning mmc 2:2...
Found /boot/extlinux/extlinux.conf
Retrieving file: /boot/extlinux/extlinux.conf
4589 bytes read in 22 ms (203.1 KiB/s)
------------------------------------------------------------
1:      NixOS - Default
2:      NixOS - Configuration 7 (2020-06-30 09:46 - 20.09.git.ed23bf2e351)
3:      NixOS - Configuration 6 (2020-06-29 19:27 - 20.09.git.ed23bf2e351)
4:      NixOS - Configuration 5 (2020-06-29 16:39 - 20.09.git.ed23bf2e351)
5:      NixOS - Configuration 4 (2020-06-28 10:46 - 20.09.git.22a81aa5fc1M)
6:      NixOS - Configuration 3 (2020-06-27 09:40 - 20.09pre-git)
7:      NixOS - Configuration 2 (2020-06-27 06:49 - 20.09pre-git)
8:      NixOS - Configuration 1 (1970-01-01 01:00 - 20.09pre-git)
Enter choice: 1:        NixOS - Default
Retrieving file: /boot/extlinux/../nixos/ibbzs79l140xn2g0247ch6y1dx7fwq1a-initrd-linux-4.14.165-172-initrd
7510112 bytes read in 495 ms (14.5 MiB/s)
Retrieving file: /boot/extlinux/../nixos/8djah8cy7vimvnhhihrkx9f4km2gicxa-linux-4.14.165-172-zImage
4291304 bytes read in 297 ms (13.8 MiB/s)
append: systemConfig=/nix/store/plc8nrypjy4h8j7j6a2iyri1bvn4k7nm-nixos-system-nixos-20.09.git.ed23bf2e351 init=/nix/store/plc8nrypjy4h8j7j6a2iyri1bvn4k7nm-nixos-system-nixos-20.09.git.ed23bf2e351/init loglevel=4
Retrieving file: /boot/extlinux/../nixos/8djah8cy7vimvnhhihrkx9f4km2gicxa-linux-4.14.165-172-dtbs/exynos5422-odroidhc1.dtb
56387 bytes read in 43 ms (1.3 MiB/s)
Kernel image @ 0x42000000 [ 0x000000 - 0x417ae8 ]
## Flattened Device Tree blob at 43000000
   Booting using the fdt blob at 0x43000000
   Loading Ramdisk to 4f8d6000, end 4ffff860 ... OK
   Loading Device Tree to 4f8c5000, end 4f8d5c42 ... OK

Starting kernel ...

[    0.013728] CPU4: Spectre v2: firmware did not set auxiliary control register IBE bit, system vulnerable
[    0.014974] CPU5: Spectre v2: firmware did not set auxiliary control register IBE bit, system vulnerable
[    0.016149] CPU6: Spectre v2: firmware did not set auxiliary control register IBE bit, system vulnerable
[    0.017347] CPU7: Spectre v2: firmware did not set auxiliary control register IBE bit, system vulnerable
[    0.890473] devfreq devfreq0: Couldn't update frequency transition information.