Sunday, 2023-08-27

*** psydroid <psydroid!~psydroid@user/psydroid> has quit IRC02:46
*** gnucode <gnucode!~gnucode@user/jab> has quit IRC03:11
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC05:13
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc05:14
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC05:23
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc05:23
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC05:37
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc05:38
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC05:40
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc05:41
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC07:28
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc07:30
*** markos_ <markos_!~markos_@user/markos/x-1838887> has quit IRC07:42
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC07:49
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc07:49
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC07:51
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc07:51
*** markos_ <markos_!> has joined #libre-soc07:56
*** markos_ <markos_!~markos_@user/markos/x-1838887> has joined #libre-soc07:56
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC07:58
markos_lkcl, I think we should invest some time in how litex does it with vexriscv and duplicate this work, or why not, use litex itself. I mean what's the point getting an uber-fpga card with 1GB ram if we can't use it? we will have to do it eventually so why not start now? initially I was of the opinion that hyperram is good enough, but I am not so sure any more. It's limited and it doesn't solve the actual problem -which others have fixed btw08:00
*** openpowerbot <openpowerbot!> has quit IRC08:01
*** openpowerbot <openpowerbot!> has joined #libre-soc08:05
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc08:40
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc08:49
*** lx0 <lx0!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc08:52
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC08:52
*** Lucretia <Lucretia!~laguest@user/lucretia> has quit IRC08:59
*** Lucretia <Lucretia!~laguest@user/lucretia> has joined #libre-soc09:02
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC09:07
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc09:42
*** lx0 <lx0!~lxo@gateway/tor-sasl/lxo> has quit IRC09:45
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC10:00
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc10:01
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC10:17
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc10:17
openpowerbot[irc] <lkcl> sadoon[m]1, morning - i have a couple of ideas re. apt:10:20
openpowerbot[irc] <lkcl> 1) use static-linking on libudev.  link to libudev.a not libudev.so10:20
openpowerbot[irc] <lkcl> 2) don't f*****g worry about it. just "dpkg -i {insert ppc64le package}10:21
openpowerbot[irc] <lkcl> (the chroot won't care, and it can be dealt with later)10:21
openpowerbot[irc] <lkcl> by (2) it becomes possible once there is at least a base, to replace *slowly* each package, recompiling them one at a time10:22
openpowerbot[irc] <sadoon[m]1> It'd be much easier to use devuan's sources though no?10:29
openpowerbot[irc] <sadoon[m]1> Rather than having to do the manual work ourselves10:31
openpowerbot[irc] <sadoon[m]1> At some point we do need to upstream patches to most of these projects, including systemd, if we want to have any hope of Debian officially supporting microwatt/libre-soc10:33
markos_with dpkg --root=<chroot dir> you can tell dpkg to install directly in the chroot, if dependencies are not satisfied, you can even use --root=<chroot dir> -x10:33
markos_so that it just extracts the files directly and doesn't execute any scripts10:34
openpowerbot[irc] <sadoon[m]1> Good idea10:34
openpowerbot[irc] <sadoon[m]1> At any rate there's no reason why systemd would need VSX and co, it's probably something minor that can be fixed easily, unlike glibc10:35
markos_but no point in upstreaming anything yet, sffs is not yet an official standard10:35
openpowerbot[irc] <sadoon[m]1> Ik ik, just talking about the future plans10:36
markos_re systemd it's probably something that was automatically produced by the compiler10:36
openpowerbot[irc] <sadoon[m]1> Or God forbid, assembly10:36
markos_I doubt they explicitely used VSX instructions10:36
markos_sincerely doubt that10:36
openpowerbot[irc] <sadoon[m]1> Perhaps it's for some crypto stuff10:36
openpowerbot[irc] <sadoon[m]1> They did bloat it with those10:36
openpowerbot[irc] <sadoon[m]1> In usual systemd fashion10:37
markos_nope, just checked the code, no VSX instructions there10:37
openpowerbot[irc] <sadoon[m]1> Then it's build scripts ignoring CFLAGS or requiring 128-bit double10:38
openpowerbot[irc] <sadoon[m]1> It's always one of these three10:38
markos_could you tell me the actual instructions found and the object file that has them?10:39
markos_we could check how they are produced in that case10:39
markos_and just change the flags10:39
openpowerbot[irc] <sadoon[m]1> Can't right now, still running around finishing up paperwork for my new job10:40
openpowerbot[irc] <sadoon[m]1> But remind me :)10:40
markos_nevermind, found stxvd2x in libsystemd010:41
openpowerbot[irc] <sadoon[m]1> Aaand there it is :')10:41
markos_yeah, there is no code explicitly VSX in that function10:42
markos_it's just compiler stuff10:42
markos_the compiler just groups some stores and produces VSX code10:42
openpowerbot[irc] <sadoon[m]1> So it's the other scenario: ingoring CFLAGS10:42
openpowerbot[irc] <sadoon[m]1> That at least needs less patching and manual work10:43
markos_yes, it's definitely CFLAGS10:43
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC11:42
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc11:42
openpowerbot[irc] <lkcl> sadoon[m]1, no. they (devuan) have far too many inter-dependent changes and don't keep up-to-date11:42
openpowerbot[irc] <lkcl> which is why the chroot itself becomes important to have a (patched) version of gcc in it where those CFLAGS are the default11:44
openpowerbot[irc] <sadoon[m]1> Hey, that's a task we can add, and shouldn't be *too* difficult11:45
*** psydroid <psydroid!~psydroid@user/psydroid> has joined #libre-soc11:45
openpowerbot[irc] <lkcl> and it becomes possible to (one-package-at-a-time) re-compile *in the chroot*, replacing each package with a re-compiled SFFS-only version of itself11:45
openpowerbot[irc] <sadoon[m]1> Would save us efforts in patching upstream software ,you're right11:45
openpowerbot[irc] <lkcl> i can even run it under qemu-ppc64le-user on my x86 system -
openpowerbot[irc] <lkcl> although i think dpkg-cross can be covered by what markos suggested, dpkg with the "--root=...." option, now11:48
openpowerbot[irc] <lkcl> anlinux does something "clever" like this, with proot/termux11:48
*** psydroid2 <psydroid2!~psydroid@user/psydroid> has joined #libre-soc11:49
*** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has joined #libre-soc12:01
cesarHi markos_. When you can, please program the device again, and try the switches. They should control the leds.12:35
cesarAlso, open a serial terminal, and press the buttons. A message should be sent on the UART.12:36
cesar... for each button press.12:36
markos_cesar, the switches do work, I already tried them12:41
cesarI have prepared another bit file. It's a simpler one, just with leds and switches.12:44
cesarPlease try:12:44
cesargit stash12:44
cesargit pull12:45
cesarcd nmigen_boards/test/nexys_video/switchled12:45
markos_seems to work, leds are controlled by the switches12:46
cesarIt seems openFPGALoader has support for the Nexyx Video.12:51
cesarOn the chroot, pleas try: "openFPGALoader -b nexysVideo vivado/switchled.bit"12:52
cesar* please12:52
markos_yup, indeed12:55
markos_that means though that we need vivado to generate the bitstreams properly?13:08
cesarNot necessarily.13:17
cesarRight now, we know we are able to program the board, with libre tools.13:18
cesarI'll now get the simple Verilog file, which I compiled with Vivado, and try it with the libre tools.13:19
cesarI mean, right now, we know we are able to download a (working) bit file to the board, using only libre tools.13:21
*** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has quit IRC13:26
openpowerbot[irc] <sadoon[m]1> made a new branch for dev-env-scripts, trying to make them work fine on ppc64le hosts14:25
openpowerbot[irc] <sadoon[m]1> still under testing14:25
openpowerbot[irc] <lkcl> cesar, markos: openFPGALoader is in the dev-scripts;a=blob;f=fpga-boot-load-prog-install;hb=HEAD14:56
openpowerbot[irc] <lkcl> sadoon[m]1, good idea - remember to use "rebase" in ~/.gitconfig (unless you find that irritating)14:57
openpowerbot[irc] <lkcl> [pull]14:57
openpowerbot[irc] <lkcl> rebase = true14:57
openpowerbot[irc] <lkcl> [branch]14:57
openpowerbot[irc] <lkcl> autosetuprebase = always14:57
openpowerbot[irc] <lkcl> it does mean you need to use "git stash; git pull; git stash apply" if you have made any modifications-to-workingset-files-without-committing, but hey14:58
openpowerbot[irc] <lkcl> it then makes keeping the branch up-to-date *real* easy14:58
*** lx0 <lx0!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc15:02
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC15:07
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc15:07
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC15:20
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc15:20
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC15:24
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc15:25
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC15:42
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc15:43
*** cesar <cesar!~cesar@2804:14d:688a:59ea:682d:e88b:7a7a:882f> has joined #libre-soc15:49
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC16:02
*** ghostmansd[m] <ghostmansd[m]!> has joined #libre-soc16:03
*** ghostmansd[m] <ghostmansd[m]!> has quit IRC16:11
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc16:12
*** cesar <cesar!~cesar@2804:14d:688a:59ea:682d:e88b:7a7a:882f> has quit IRC16:22
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC16:44
*** cesar <cesar!~cesar@2804:14d:688a:59ea:682d:e88b:7a7a:882f> has joined #libre-soc17:03
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc17:10
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC17:20
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc17:21
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC17:28
*** ghostmansd[m] <ghostmansd[m]!> has joined #libre-soc17:29
cesarmarkos_, I have a new design for you to try.17:57
cesarIt's the same as before, but build with libre tools, instead of Vivado.17:58
cesargit pull17:58
cesarcd nmigen_boards/test/nexys_video/switchled17:58
*** ghostmansd[m] <ghostmansd[m]!> has quit IRC18:05
*** ghostmansd[m] <ghostmansd[m]!> has joined #libre-soc18:05
markos_leds do nothing18:15
markos_it seems to program, I see the READY led, but switches don't control the leds18:16
markos_and no output on serial18:16
cesarDisappointing. Try again, to be sure?18:27
cesar(there is no serial output in this design)18:28
markos_yup, leds work now18:35
*** cesar <cesar!~cesar@2804:14d:688a:59ea:682d:e88b:7a7a:882f> has quit IRC18:36
*** cesar <cesar!~cesar@2804:14d:688a:59ea:682d:e88b:7a7a:882f> has joined #libre-soc19:33
*** psydroid <psydroid!~psydroid@user/psydroid> has quit IRC21:53
*** hl_ <hl_!~hl@user/hl> has joined #libre-soc21:54
*** hl <hl!~hl@user/hl> has quit IRC22:02
*** josuah <josuah!~josuah@> has quit IRC22:02
*** hl_ is now known as hl22:10
*** cesar <cesar!~cesar@2804:14d:688a:59ea:682d:e88b:7a7a:882f> has quit IRC23:37
*** psydroid2 <psydroid2!~psydroid@user/psydroid> has quit IRC23:56

Generated by 2.17.1 by Marius Gedminas - find it at!