-
-
Notifications
You must be signed in to change notification settings - Fork 744
pine64-rock64: init #1280
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: master
Are you sure you want to change the base?
pine64-rock64: init #1280
Changes from all commits
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
@@ -0,0 +1,26 @@ | ||||||||||||||
{ | ||||||||||||||
boot = { | ||||||||||||||
initrd.kernelModules = [ | ||||||||||||||
"pcie_rockchip_host" | ||||||||||||||
"phy_rockchip_pcie" | ||||||||||||||
"sdhci_pci" | ||||||||||||||
Comment on lines
+4
to
+6
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Is this not detected by nixos-generate-config? There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Mhm. but I guess our installer wouldn't boot, so the normal install workflow wouldn't boot. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. nixos-hardware/pine64/rockpro64/default.nix Lines 3 to 8 in b12e314
my local config (and, in turn, what was done in this PR) is inspired by how the RockPro64 is configured There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I'm currently using a half-functional build of u-boot/tow-boot, generated from this draft PR Tow-Boot/Tow-Boot#322, so I don't really know how the usual NixOS install process would go There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. We can leave those modules in here if you also add a README how to bootstrap the rest of the configuration i.e. instructions to build a installer image. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. it's just the generic aarch64 uefi installer iso I guess it'd be more common to go the u-boot+sd-card image route, like it says on the wiki which is unlike what I have -- tow-boot+normal EFI installer I wouldn't really recommend people use a draft PR for their own stuff though |
||||||||||||||
]; | ||||||||||||||
kernelModules = [ | ||||||||||||||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Why is any of this needed? I don't remember needing to specify this. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I remember some of them not being detected automatically, but I can remove that There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I just copied it from my local config There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. So it won't show any graphics if you attach a monitor, or what does this fix? Usually the kernel will match pci/usb vendor ids with drivers and load them as needed. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I am fine with adding modules if they are actually not recognize by the hardware or if there is a good reason to add them to early boot There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. makes sense, then I'll boot once without this list, and I'll compare which modules are loaded There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. using this after booting with all modules listed $ ssh rock64.lan -- lsmod | cut -d' ' -f1 | sort -u > before.txt and this after removing them $ ssh rock64.lan -- lsmod | cut -d' ' -f1 | sort -u > after.txt I can get a diff $ diff before.txt after.txt that shows that these are the modules that are not normally loaded, unless added there by force
that being said, it still boots and I still get HDMI video out There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more.
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. in conclusion: my machine boots without anything specified in |
||||||||||||||
"panfrost" | ||||||||||||||
"rockchipdrm" | ||||||||||||||
"rockchip_dfi" | ||||||||||||||
"rockchip_rga" | ||||||||||||||
"rockchip_isp1" | ||||||||||||||
"rockchip_saradc" | ||||||||||||||
"rockchip_thermal" | ||||||||||||||
"rockchip_vdec" | ||||||||||||||
"snd_soc_rockchip_i2s" | ||||||||||||||
"rk_crypto" | ||||||||||||||
"dwmac_rk" | ||||||||||||||
"rk3399_dmc" | ||||||||||||||
"v4l2_h264" | ||||||||||||||
"v4l2_mem2mem" | ||||||||||||||
"v4l2_vp9" | ||||||||||||||
]; | ||||||||||||||
}; | ||||||||||||||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. So rock64 just boots without any special configuration? We can also add an empty profile in this case. |
||||||||||||||
} |
Uh oh!
There was an error while loading. Please reload this page.