libera/#devuan/ Saturday, 2021-03-06

masonIs this a thing currently? My kid's machine has the most vanilla install we've got and it won't boot after the latest update.01:08
masonI'm whipping up some rescue media for it now.01:08
gnarfacemason: is it looking in EFI/something instead of efi/something for the efi firmware?01:28
fsmithredmason: get rid of grub-efi-amd64-signed01:32
masongnarface, fsmithred: Yar, when I saw that in scrollback I figured it had to be related, and indeed it let me generate a valid grub config.01:38
masongnarface: I didn't look in detail, but I'll probably see the same thing on other systems.01:38
masonSo I'm sure I'll get a chance to explore.01:38
fsmithredI don't know what changed, but grub has been screwing with me for about a year01:39
golinuxThere is a thread on dng about this iirc01:40
masonI'm not at all a fan of GRUB. It's buggy and convoluted for what it does.01:40
masongolinux: ty01:40
fsmithredstill waiting for OP to give more info.01:40
fsmithredhe claims to have grub-pc installed01:40
masonHe might but it wouldn't be the active one.01:40
fsmithredcan't have both. (only the -bin packages)01:41
masonWhen did this start, OOC? My workstation has both but it's been up three days now.01:48
masonI'll assume it'll hit this on next reboot and I'll see what I can figure out.01:49
fsmithreddeb10u4 is pretty new01:49
fsmithredyou have both grub-pc and grub-efi-amd64 installed?01:50
masonOh, I'm on 10u3.01:50
masonPErfect. I can catch it in the act and see what it's doing wrong. Thank you.01:50
masonbbiab, dinner01:50
fsmithredme too soon01:50
masonfsmithred: So, the new package doesn't universally hose systems. I haven't identified the difference yet.04:38
masonI don't see anything in my workstation that's in the critical path that looks broken after update. REbooting and we'll see I gues.s04:39
fsmithredecho $prefix04:40
fsmithredat grub command line04:40
masonfsmithred: Oh, it's a known thing? So far two of my boxes (including my workstation) see no issue, but one of my daughters' computers did.04:41
fsmithredsomewhat known04:42
onefangIs the issue in finding the correct EFI folder?04:42
fsmithredpossibly04:42
onefangDifferent BIOSes have different standards and workarounds for that.04:42
fsmithredthat has been an issue in the past04:42
fsmithredstandards?04:42
masonThere's the fallback naming.04:43
fsmithredyou mean different ways of screwing up uefi04:43
onefangThere are standards, for what EFD folders to look in, there are some BIOSes that look in non standard places, mostly well known places.04:43
masonDo we think the error is in the bootvar, or in grub config?04:44
onefangEr EFD = EFI04:44
fsmithredthe signed grub package expects to see EFI/debian04:44
onefangBut is the EFI BIOS finding grub?04:44
fsmithredyeah, it's not finding grub.cfg, so no menu.04:45
fsmithredjust grub prompt04:45
masonThat exactly. GRUB, no config.04:45
onefangAh, ignore what I just said then.  That's not the problem.04:45
masonSo that sounds a bit like a problem with the binary itself./04:45
masonI'll have to boot up the kid's computer and see if it's EFI/devuan or EFI/debian04:46
masonIt's one of the rare boxes here that just had a normal (non-ZFS, so using the installer) install.04:46
fsmithredif it's EFI/devuan and not booting, one fix might be:04:46
fsmithredgrub-install --bootloader-id=debian04:46
masonHrm, even my hand installs set up EFI/debian04:47
fsmithredI'll go see if I can get the answer in a dream04:47
masonGood plan! G'night.04:47
fsmithredbye04:47
tuxd3vfsmithred, cya04:48
knoppixHello everybody. I am new here. I want to install devuan beside mxlinux so i can try it and switch to Devuakn in future. I have 230Gb partition allocated. But, I am confused how tost it up for Devuan. Can someone guide me please?06:00
knoppix?06:01
onefangDid you mean "how to set it up for Devuan"?06:02
knoppixHi there. Yes, I want to install devuan on separate partition.06:02
knoppix(Dual-boot)06:02
onefangThe 230GB partition you mentioned is the one you want to put Devuan on?06:03
knoppixYes06:03
XenguyMinimal system with a desktop?06:03
knoppixFull Devuan system06:03
onefangWait around for the others to help you, I haven't done this myself.06:03
knoppixOh :(06:03
onefangI was just making sure your question was understandable.  Xenguy might help.06:04
knoppixI tried to install it, but there are so many options which confused me06:04
XenguyYou can never really count on that guy06:04
onefangIRC support channels are like that.  You ask your question, you wait for someone to get around to answering it.  We are world wide, we might be busy else where right now.06:05
knoppixOh, maybe we can wotk it out. I have done dual-boot install before but Devuan has confusing options06:05
Xenguyknoppix: What I usually do is install a minimal system with a desktop, and then add any software needed after that06:05
Xenguyknoppix: Any specific points of confusion?06:06
* onefang goes back to working on my virtual boat.06:06
knoppixMinimal or full should make no difference. It is the dual boot where I have to do 'manual partition'. I have it ready but Devual gives so many options that confuse me.06:07
XenguyI see, so it's partitioning woes then, right06:07
knoppixThanks for chatting and hleping Xenguy :) Yes, when I get to manual partition dialogue there are many options which I cant figure out. I just want to install Devuan on the 230Gb partition, /home and all.06:08
knoppixYes. I have used gparted to set up the ext4 230Gb partition no problems.06:09
knoppixxenguy, BTW, wgere are you? I am in the land down under :)06:10
XenguyHuh, I'm not familiar enough with the install sequence to be of much help, but if you run virtual machines, maybe you could just run the available options?  Dunno06:10
knoppixMeh06:10
XenguyA world away06:10
knoppixPerhaps you are Zhonggouren? :)06:11
knoppixChinese06:11
XenguyHarry Dean Stanton:  "I am nothing"06:11
onefangI come from the land down under.  BrisVegas.  lol06:12
knoppixXen and Fang is Chinese, hence my query06:12
knoppixI am Aussie06:13
XenguyChinese?  What's the translation?06:13
knoppixZhing Guo06:13
Xenguyhah06:13
knoppixOops....Zhong Guo06:13
XenguyMy Mandarin is a little rusty06:14
knoppixBut I been to China many times before so learned some travel language :)06:14
knoppixAha, I thought so. Hehe06:14
XenguyOh damn, we're OT, my bad06:15
onefangFang meaning tooth isn't Chinese, but this is all off topic, which is why we have #devuan-offtopic.  B-)06:15
Xenguyyep06:15
knoppixYes, back to installing06:15
knoppixCant see any tuttes on Youtube either. They are all  full install using whole disc06:16
knoppixtutes06:16
knoppixMmm. I may have to go ahead and try and see what happens. i can alwaysclear the partition and try another option. But, it will be time consumiong. Wish Devaul devs had some decent tutes on this with screen shots. Other distros are MUCH easier!!06:18
onefangI think the person that wrote the installer is asleep at the moment.06:18
knoppix(I been using mxlinux for years, so I am spoiled)06:18
knoppixOh, I think he was alseep when he developed the install scripts! He should have taken note of other distros like mxlinux, mint, etc which make it a cinch to install.06:19
golinuxknoppix: https://www.devuan.org/os/install06:20
knoppixThnx gLinux. Will check it out now. Hang around though :)06:20
golinuxThere are even options whith screenshots06:20
knoppixLooking now . . . .06:20
knoppixMmm, not very clear, but I will try it as they recommend. But first, I must save ALL of my MX Linux data, in case Devuan takes over ALL partitions on my whole HDD!06:29
golinuxWhat installer are you going to use06:29
golinux?06:29
XenguyWhat are you talking about?  Just back up your stuff, and get on with it06:29
knoppixI have the DVD with full Devuan06:29
knoppixInit will choose sysv...06:30
knoppixok, ok xenguy. Going now.06:30
golinuxBackup is always a good isea.06:30
golinuxidea06:31
knoppixThnx for the link golinux06:31
knoppixSee you guys later with feedback - good I hope :)06:31
golinuxYW. Did you see the iso descriptions on this page? https://www.devuan.org/get-devuan06:31
XenguyGood luck06:31
golinuxIndeed.  I'll probably be in bed by the time you get back.06:32
knoppixYes, that is why I downloaded desktop (4 GB): Use this DVD so I could keep a copy here06:32
XenguySounds like you're good to go06:33
knoppixTime will tell. Back later guys. Seeya06:34
knoppixAnd thans06:34
knoppixthnx06:34
XenguyCheers06:34
FatPhilhaving a spot of bother installing 3.1 on a Lenovo - I think I messed up my LVM config, grub enters rescue mode12:31
FatPhillaptop's an X250, I set the secure boot to off, and Legacy only boot mode. To be honest, all the boot menus on that thing are a confusing mare.12:33
FatPhilInitially I tried to install LILO, as I'm old-school, but that failed with a meaningless message, so I just thought I'd fall back on grub.12:34
FatPhilgonna do a complete re-install, and do it less customised this time.12:35
FatPhilg/f theoretically has the same laptop, and lilo did work on hers.12:41
fsmithredFatPhil, before you do full reinstall, try removing grub...signed12:41
fsmithredgrub-efi-amd64-signed12:41
FatPhiltoo late, already at the partitioning stage...12:41
fsmithredthen update-grub12:41
fsmithredoh12:42
FatPhilI know I got *very* confused in the LVM stage on the initial install - likely of PEBCAK ~99.99%12:42
fsmithredme too, every time I do it12:42
FatPhilI did a quick rescue attempt, with a 'reistall grub', and it changed nothing12:43
fsmithredright. new grub has some new feature maybe12:43
fsmithredthis just started a couple days ago12:43
FatPhiljust gonna align with g/f to try to get same theoretical config as her, and then I'll try again. Gonna go for LILO this time, as it works for her on hers.12:44
fsmithredthat should work. I don't remember how to do lilo.12:45
fsmithredFatPhil, are you booting legacy bios or uefi?12:47
FatPhilLegacy only12:47
fsmithredhm12:48
fsmithredso no grub-efi was installed?12:48
FatPhilnot knowingly12:50
FatPhildone guided LVM, var/home/tmp separate. installing base system...12:51
fsmithredpartition sizes are ok?12:51
FatPhilno, terrible12:51
FatPhil:)12:51
fsmithredlol, I have never liked the results of guided partitioning12:51
FatPhilBut that was one of the things I customised 1st time round, and that's where all the mistakes were made.12:51
fsmithredwell, except when I tell it to put everything in one12:52
FatPhilI will symlink my way out of any idiocy after it's running properly.12:52
fsmithredouch12:52
fsmithredmanual parititioning for lvm and/or encrypted is a maze12:53
fsmithredalmost easier to do it on command line12:53
FatPhiltell me about it!12:53
fsmithredI made a screen capture video of making a single encrypted partition, and it took me four attempts to get it right.12:54
FatPhiland you're no newb12:55
FatPhilI've been using debian for 20 years, and this is one part of the installer that's not improved over time.12:56
fsmithredlol, true12:56
FatPhilselecting init system...12:57
FatPhilsystemd12:57
FatPhilmuahhaha, you've got to laugh12:57
fsmithredoh, that's on a different disk12:57
fsmithredI could get you the link if you want, but it's somewhere at debian.org12:57
FatPhilOK, now at the bootloader selection stage. LILO...12:57
fsmithredI'm gonna upgrade my grub-pc and see if it breaks12:58
fsmithredwill be gone for I hope only a short time12:58
FatPhilwill it make any difference if I chose /dev/sda vs. /dev/sda1?12:58
FatPhilI generally always use sda, but that's where grub didn't work.12:58
fsmithrednot sure for lilo12:59
fsmithredgenerally legacy bios wants to use mbr13:00
FatPhilthe reason I'm installing devuan today on a lappy is that my old EEEPc finally died - that was the final machine I own that had debian on it. After today, I'll be 100% devuan, I think.13:00
fsmithredgrub normally works with sda better than sda113:00
fsmithredsorry for your loss13:00
fsmithredbrb13:01
FatPhilweird. g/f's lilo.conf has a boot=dev/disk/by-id/..., but that does seem to refer to sda, so I'll go with that13:09
FatPhillilo installed without a hitch this time13:12
fsmithrednew grub-pc did not give me any trouble13:12
FatPhiland console's up, and root's in. all's good!13:15
FatPhilwhy can't the installer remember the network settings used during the installation process?13:17
fsmithredI don't know13:23
FatPhilugh, wifi trouble now.13:26
numzobfsmithred: I think it *is* easier on the command line, especially if one is doing LVM over LUKs13:53
FatPhilpretty tragic that python2.7 is 'Priority: standard'13:55
fsmithredthat goes away in chimaera13:57
fsmithredand so does wicd13:57
* numzob misses wicd13:57
fsmithredme too13:57
numzobit just seemed to hold a connection a little bit better than networkmanager13:58
fsmithredn-m seems to be working but it wants to rule13:58
numzobthat i haven't noticed, at least13:58
fsmithredwicd has a more interactive ui13:58
fsmithredthe on/off switches are easier to find13:59
numzoband it looked nicer in the tool tray13:59
fsmithredlike a network icon instead of a stick in a box?13:59
numzoband the border14:00
FatPhilhmmm, aptitude shows 2 copies of each package - is that because I enabled backports?14:00
fsmithredwhat???14:00
fsmithredtwo copies?14:00
numzob:o14:00
fsmithredyou mean like to copies of the same file with the same name in the same place?14:01
FatPhilhmm, not of every package14:01
FatPhilI'm just trying to purge stuff I don't want, and looking at deps14:01
fsmithredif it's because of backports, then one of the packages will have bpo in the version14:02
FatPhiloooh - yea14:03
FatPhiljust found a package with 3 versions. latest has bpo14:03
FatPhilnot 100% sure I need backports, might disable until I need it14:04
FatPhilI tend to prefer old and stable stuff14:04
FatPhilI see proposed updates in sources.list too - not seen that before, what are they?14:05
FatPhilwasn't mentioned in the installer14:05
fsmithredit's better to be selective about backports14:07
fsmithredshit, proposed should not be there14:08
FatPhilI didn't add it!14:08
fsmithredcomment it.14:08
FatPhilyup, #'d both14:08
fsmithredright now it's not a problem because everything that was in proposed was recently moved to beowulf main14:09
fsmithredbut we may put stuff there for testing bugfixes14:09
fsmithredFatPhil, which iso did you use?14:12
FatPhilnetinst14:18
FatPhilHigh5 Pali! o/14:33
XenguyI am on Beowulf here, and still using wicd.  With wicd going away, I'd like to avoid network-manager if possible.  Is anyone using connman successfully, or is it too primitive for use by most regular folks?14:56
numzobi'd had the thought of making a private .deb of wicd but reading how to do that made my head spin14:57
numzobnot the compilation, but the package-making part14:57
fsmithredXenguy, I used connman briefly, but I couldn't get the applet to show up in the tray in live-iso builds15:00
fsmithredother than that, it's ok15:00
* FatPhil still just uses ifupdown and wpasupplicant. maybe I shoudl try wicd-cli, so that I can miss it too!15:00
numzoblol15:00
fsmithredtry setnet.sh15:01
fsmithredor simple-netaid15:01
fsmithredor ceni15:01
XenguyThanks fsmithred15:03
numzobdamn, i thought you were kidding but I googled and setnet.sh is a real thing.  innnnnteresting!15:03
numzobthank you15:03
fsmithredyw15:03
fsmithredit never made it into the repo15:03
fsmithredbut it's in the minimal-live isos15:04
numzob (i thought you were kidding because nowadays nobody names a program with a name that clearly states its function)15:04
fsmithredKatolaZ does15:04
* numzob approves15:04
FatPhilnoice - http://katolaz.net/setnet/release/setnet-0.4/setnet_0.4+devuan1_all.deb15:05
numzobooo!15:05
FatPhilin particular the 'devuan' bit15:05
XenguyLooks like setnet was in jessie15:05
* numzob had never heard of it until now15:05
Xenguyme too15:05
fsmithredit was in the repo?15:05
Xenguyfsmithred: I think so15:06
fsmithredwe should pull it forward.15:06
fsmithredyeah, beowulf-proposed-updates is in the sources.list after netinstall15:09
fsmithredafter dvd no-network install, just the deb-src line for proposed, and it's commented out15:10
djphhm, i need a new pc so I can play with Chimaera ...15:14
fsmithredqemu15:16
djphmakes me craptop die horribly :(15:17
djphand me very sad15:17
djphalthough I do have it running on a headless VM15:17
FatPhilug, what was the command to check all installed files' integrity?15:18
fsmithreddebsums?15:18
fsmithredFatPhil, what's the problem?15:18
FatPhilI just used a -y switch on a ... | xargs aptitude purge, and rather than purging the few packages it said it would purge, it purged a few dozen until I ^C in a panic15:20
fsmithredare you installing without recommends?15:24
fsmithredthat might help reduce cruft15:24
FatPhilthis was on another machine - I wanted to grab dpkg -l to see what I might want to install on this new machine. However, I decided to a spot of cleaning up first.15:26
FatPhilBut yeah, I always set Recommends and Suggests to "0".15:27
DPAI've just run into the grub breakage now too. It's not the efi boot entry, efibootmgr -v shows:15:37
DPA Boot0013* devuanHD(2,GPT,050aaba9-8deb-41fe-b3bc-8b87cb2f518f,0x20800,0xda000)/File(\EFI\devuan\shimx64.efi)15:37
DPASo I do think it's just grub. I think I'll work around it for now by creating a \EFI\debian\grub.cfg and just setting prefix and loading the real config file in there.15:37
fsmithredDPA, is grub-efi-amd64-signed installed?15:50
DPAfsmithred: yes15:53
Igor2hi all; I have a devuan ascii on an orange pi zero (installed from devuan root image); I need to recompile the kernel because of missing modules (4.17.0); it seems the kernel in the image is not from a package; where do I get the (devuan patched) source?15:53
fsmithredIgor2, there are no devuan kernels15:54
fsmithredwe use debian kernels, unchanged15:54
fsmithredDPA, removing that package should fix it. You only need that for secure boot.15:55
fsmithredand if you have secure boot working, please tell me about it.15:55
Igor2fsmithred, ok, so where do I get the exact same kernel from debian if it is not installed from package?15:57
Igor2(I would like to try to compile only a few momdules, not the whole thing, that's why exact version match matters)15:58
Igor2normally I'd do an apt-get source, but I can't seem to find this package15:58
fsmithredyou might have to get it from kernel.org and debianize it yourself16:01
fsmithredbut try archive.debian.org too16:01
Igor2if I get it from kernel.org, how do I figure what debian patches went on the original version?16:03
phoggwhat makes it seem like the image is not from a package?16:04
fsmithred4.19 won't work for you?16:04
Igor2I doubt I could compile a 4.19 module and plug it into a 4.17 kernel16:04
fsmithreduse the config from 4.17 as a starting point16:05
Igor2phogg, I can't find anything with dpkg -l that suggests the image is from that package, and I don't even find the package with apt-get search16:05
fsmithredkernel package name in debian/devuan is linux-image16:06
Igor2fsmithred, so you say if I compile a kernel mdoule from 4.19, I will be able to insert it into a running 4.17 kernel, rght?16:06
phoggIgor2: that would just mean your current sources don't list it16:06
fsmithrednope16:06
Igor2yes, I was looking for linux-image and that's what I can't find anywhere - I see 4.19 but not 4.1716:06
fsmithredI'm saying if you take a kernel config file from 4.17 and use it as a starting point for make oldconfig with 4.19 you have a chance of success16:06
Igor2well, I'd like to avoid compiling the whole thing, it woudl be much better if I could just compile the missing modules16:07
fsmithredthen you need the matching linux-headers package16:07
fsmithredif you're running 4.17 do 'apt install linux-headers-$(uname -r)16:08
fsmithredthen you can compile modules16:08
fsmithredoh16:08
fsmithredalso install build-essential16:09
Igor2but I can't seem to find anything for 4.17.0 the root image came with16:09
fsmithredwhat sources? Debian?16:10
Igor2ok, let me try this from a different perspective16:10
fsmithredapt-cache search linux-headers16:10
Igor2I have a running devuan system where it seems the kernel is not installed from package but placed there manually - it happens to be 4.1716:10
Igor2I can't find 4.17.0 in devuan/debina anuwhere16:11
fsmithredneither can I16:11
fsmithredwhich image did you use?16:11
Igor2I'm using debian since 1999, I compiler my kernels normally, so I am totally aware of linux-headers and buld-essentials, it's really that I am trying to figure how to get this specific kernel version16:11
Igor2hmm, let me dig it up16:11
fsmithredmight have to ask tuxd3v16:12
fsmithredhttps://arm-files.devuan.org/16:14
Igor2hmm, I can't find where I downloaded the image from, looked like some devuan mirror on an university server16:15
Igor2https://mirror.math.princeton.edu/pub/devuan/devuan_ascii/embedded/devuan_ascii_2.0.0_armhf_sunxi.img.xz16:17
fsmithredoh, ascii16:18
fsmithredthose should be on files.devuan.org16:18
Igor2thanks, found the image there16:19
Igor2butI guess it's the same file, so it doesn't get me closer to figuring where the kernel is coming from16:19
Igor2looks like it was manually copied into the image16:20
fsmithredhttps://git.devuan.org/devuan-sdk/arm-sdk/src/branch/master/boards/sunxi.sh16:21
fsmithredI think that's the script used to make the image16:21
fsmithredgo up one level to see the directory that has kernel configs16:23
Igor2cool, thanks!16:23
fsmithredand here's the main link for the repo: https://git.devuan.org/devuan-sdk/arm-sdk16:23
Igor2I have the config from proc/config.gz, my only concern is if the kernel source got some debian patching16:23
Igor2that's the only reason I don't just go and download the matching version from kernel.org16:23
fsmithredalso look in lib/libdevuansdk/zlibs16:23
fsmithredlooks like that's where it came from16:24
fsmithredkernel.org16:24
fsmithredknowing parazyd, it probably did not get debianized. It got only what it needed.16:25
Igor2do you think uname --all would have any indication if the kernel was patched in any way?16:26
fsmithredtry it16:31
fsmithredI would expect any patching to be evident in the sdk scripts16:31
DPAfsmithred: I do have working secure boot. I've now worked around the issue by creating a file /EFI/debian/grub.cfg with the following two lines:16:32
DPAset prefix=/EFI/devuan16:32
DPAconfigfile $prefix/grub.cfg16:32
DPAI also have a system where I install & sign it manually using my own keys: https://pastebin.com/bKqXmZWY (I also build the kernel myself on that system signed with my key), but on that system, I haven't updated grub in a while.16:32
Igor2wow, I can't find 4.17.0 on kernel.org! this is getting funny16:33
fsmithredDPA, does the installer normally do secure boot correctly, or do you have to fix it after install. Not counting this current grub update.16:33
DPAIt usually just works.16:34
fsmithredok thanks. I couldn't get it to work on my toshiba laptop.16:34
fsmithredgood to know it's just me.16:34
Igor2so I guess the script got it from git from some random version I won't ever be able to reproduce16:34
fsmithredIgor2, there's a branch for each version16:36
fsmithredhttps://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git/tree/?h=linux-4.17.y16:36
fsmithreddrop-down menu in the upper right for branches16:37
Igor2(this makes me sad... I left arbian for devuan on the PI boards because of this... I mean armbian generally works better regarding to hardware stuff, but I really hated how the kernel, uboot and other things were not from packages and the whole build process was a real huge and ugly pile of scripts that required a whole ubuntu VM)16:37
Igor24.17.0 says invalid branch16:38
Igor2or I am doing something differently16:38
fsmithredwhere do you see that?16:39
Igor2the drop down meny has 4.17.y only, not 4.17.0; I tried to modify the url, s/y/0/ but that's invalid16:40
fsmithredthe script uses 4.17.y16:44
Igor2yup, I see16:44
Igor2so let's _hope_ 4.17.y is the same thing as 4.17.0 was at the time the image got built?16:44
Igor2(reproducible builds, hehe)16:45
fsmithredzlibs/kernel is missing so you can't see the build_kernel_armhf function16:46
fsmithrednot really anything substantial in that file. I don't understand.16:48
Igor2the kernel build in the image seems to be jun 5 2018; commit in 4.17.y looks like august 24 201816:48
Igor2ok, looking at the dates, I _think_ this could be the source:16:50
Igor2https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git/tag/?h=v4.1716:50
Igor2at least 4.17.y didn't get any change between that and 2018-06-11 so if the image was built on the 5th that's right after this commit16:51
fsmithredthat looks good16:52
Igor2thanks for the help! If you see parazyd, please ask him to make the sources easier to figure - best would be real debian packages so one could just apt-get source it, but if that's not possible, at least some url where to download the exact version for the sake of reproducability...16:54
fsmithredthat sunxi script does have the build_kernel function.16:54
Igor2well, the point is: I am trying to build only a few modules, not the whole kernel16:54
fsmithredhe's not making the images now16:54
Igor2ohh, ok16:54
Igor2then whoever is making them16:54
fsmithredyou know about the arm section at the forum?16:54
Igor2nope16:55
fsmithredhttps://dev1galaxy.org/viewforum.php?id=2416:55
fsmithredthere's also #devuan-arm16:55
Igor2thanks16:56
fsmithredhave fun16:56
PaliFatPhil: Hi!17:09
Igor2haha, bad luck: the feature I need can't be compiled as module17:18
DocScrutinizer05hi Pali ! :-)21:41
PaliDocScrutinizer05: Hi!21:42
onefangFor people struggling with grub in EFI mode, maybe try rEFInd instead?23:02

Generated by irclog2html.py 2.17.0 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!