Saturday, 2023-08-26

*** markos_ <markos_!~markos_@user/markos/x-1838887> has quit IRC01:00
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC01:05
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc01:07
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC01:28
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc01:31
klysprogrammerjake, what channel are you in?02:12
openpowerbot[irc] <programmerjake> i'm in #libre-soc02:44
openpowerbot[irc] <programmerjake> idk if that shows up correctly in irc, it's ``02:45
openpowerbot[irc] <programmerjake> openpowerbot copies messages to all the other channels02:45
*** HumanGeek <HumanGeek!~HumanG33k@> has quit IRC03:06
*** HumanGeek <HumanGeek!~HumanG33k@> has joined #libre-soc03:07
*** gnucode <gnucode!~gnucode@user/jab> has quit IRC03:20
klysprogrammerjake, i'm not quite sure you saw this tidbit: 13:10:45< lkcl> RIGHT NOW  13:10:58-!- lkcl [] has quit [Quit: Leaving]04:18
*** lkcl <lkcl!> has joined #libre-soc06:58
*** psydroid <psydroid!~psydroid@user/psydroid> has joined #libre-soc08:26
*** markos_ <markos_!> has joined #libre-soc09:00
*** markos_ <markos_!~markos_@user/markos/x-1838887> has joined #libre-soc09:00
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc09:20
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC09:44
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc10:03
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC10:08
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC10:15
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc10:16
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC10:49
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc10:49
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc10:51
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC11:08
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc11:08
*** psydroid <psydroid!~psydroid@user/psydroid> has quit IRC11:16
*** psydroid <psydroid!~psydroid@user/psydroid> has joined #libre-soc11:16
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC11:26
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc11:27
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC12:08
*** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has joined #libre-soc12:33
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC12:34
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc12:35
cesarmarkos_, want to resume testing your Nexys Video board? I have prepared something for you.12:36
markos_cesar, hi, I will be in about an hour from now12:39
cesarSure, just let me know.12:41
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC12:47
*** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has quit IRC13:08
markos_do you have it committed in your tree?13:17
markos_if you can make it available somewhere, I can test it later and let you know if it works13:17
*** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has joined #libre-soc13:28
cesarmarkos_, please type:13:36
cesargit fetch cesar13:36
cesargit checkout digilent-gpio13:36
cesarcd nmigen_boards/test/nexys_video/digilent13:36
cesarIt is a Digilent demo, and I compiled it with Vivado. It should work.13:37
cesarOtherwise, we are doing something wrong when downloading the bit file to the FPGA.13:37
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc13:38
markos_missing board/digilent_nexys_video.cfg13:42
cesarPrepending /usr/share/openocd/scripts/ helps?13:46
markos_ok, it programmed13:51
markos_on the screen I see "This is Digilent Nexys Video"13:51
markos_so, that's good I guess :)13:51
cesarmarkos_, try the switches, they should control the LEDs.14:34
cesarAlso, the buttons should send messages to the serial console.14:34
cesarFull documentation for this demo is here:14:35
*** markos_ <markos_!~markos_@user/markos/x-1838887> has quit IRC15:13
*** psydroid2 <psydroid2!~psydroid@user/psydroid> has joined #libre-soc15:14
*** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has quit IRC15:17
*** markos_ <markos_!> has joined #libre-soc15:26
*** markos_ <markos_!~markos_@user/markos/x-1838887> has joined #libre-soc15:26
*** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has joined #libre-soc15:32
cesarI don't see my name in the MOU JSON file...15:59
cesar... in the "participants" section. I'm looking at
lkclcesar, ah i will make sure you are "assigned" the task. i *think* that's the way it works: assignees are picked up and added at the top-level?16:20
lkclwhich task was for you, can you remember? it was the formal proofs one wasn't it?16:20
lkclok i am just going to randomly assign one task to you16:22
cesarIt's #1036, which I'm already assigned to. I'm also assigned to #737.16:23
lkclcesar, hmmm bizarre.  1 sec16:24
lkclahh it's _payments_. okaay16:25
lkclshould be sorted16:26
lkclprogrammerjake: you were not authorized to make this change;a=commitdiff;h=0d95774b116:27
lkcli am the one that runs that command as part of the upload, and i need it to be quick.16:27
*** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has quit IRC16:28
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC16:47
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc16:48
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC16:52
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc16:53
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC17:43
*** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has joined #libre-soc17:56
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc18:05
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC18:09
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc18:11
openpowerbot[irc] <sadoon[m]1> I can see there is already a section on the ULX3S on
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC18:13
openpowerbot[irc] <sadoon[m]1> Did anyone try it already?18:13
openpowerbot[irc] <sadoon[m]1> Does it give serial loopback?18:13
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc18:21
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC18:25
*** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has quit IRC18:28
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc18:35
*** octavius <octavius!> has joined #libre-soc18:38
octaviussadoon, I never did check the page after the Linux section (and don't have a ulx3s), so you're partially on your own. I will be trying microwatt with the Vivado tools later, but I don't know if pure microwatt (not the libre-soc version) was every synthesised with open source toolchain18:40
octaviusyou're better off trying some ulx3s examples first (with pre-built bitstreams if you can find them) to make sure you can program and talk to the fpga board18:42
openpowerbot[irc] <sadoon[m]1> I did, found a cool demo that implements a binary counter and serial loopback to send back characters at 9600 baud18:42
openpowerbot[irc] <sadoon[m]1> meaning you program the board and open putty or something similar and it's there18:43
openpowerbot[irc] <sadoon[m]1> that would be awesome for microwatt, and I'm pretty sure the riscv core has serial loopback as well18:43
openpowerbot[irc] <sadoon[m]1> I'll try this tomorrow if I catch a break from the whole "moving to a new job"18:44
*** octavius <octavius!> has quit IRC18:47
*** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has joined #libre-soc19:46
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has quit IRC19:56
*** ghostmansd[m] <ghostmansd[m]!~ghostmans@> has joined #libre-soc19:56
*** gnucode <gnucode!~gnucode@user/jab> has joined #libre-soc20:11
openpowerbot[irc] <sadoon[m]1> have some free time, will attempt now20:16
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc21:04
openpowerbot[irc] <sadoon[m]1> Hmm having trouble with ghdl on POWER21:25
openpowerbot[irc] <sadoon[m]1> I'll try tomorrow21:26
openpowerbot[irc] <lkcl> sadoon: yes it works perfectly well, the only thing you need to bear in mind is that the flashing works only by pressing the button on power-up (a damn nuisance)21:27
openpowerbot[irc] <lkcl> and that we haven't got sdram running so you're hosed at the moment for access to any memory other than what's in the FPGA SRAM.21:27
openpowerbot[irc] <lkcl> therefore helloworld.bin microwatt.bin etc. etc. no problem21:28
openpowerbot[irc] <lkcl> try blinky first, it's a one-line command (literally)21:28
openpowerbot[irc] <lkcl> just like octavius says21:28
openpowerbot[irc] <lkcl> jacob's is also great.21:28
openpowerbot[irc] <lkcl> but *go slowly*. start with blinky.21:29
openpowerbot[irc] <lkcl> octavius: of course it was. direct nextpnr-ecp5 support (from microwatt's Makefile) was added by either anton or paulus, i forget whom.21:30
openpowerbot[irc] <lkcl> and of course it also works from ls2 by specifying microwatt as the core and ulx3s as the target21:30
openpowerbot[irc] <lkcl> i have *five* FPGA boards, remember? ulx3s, VERSA_ECP5, arty-a7-100t, ZC706, and nexys_video21:32
openpowerbot[irc] <sadoon[m]1> How much RAM is there?21:33
openpowerbot[irc] <sadoon[m]1> I'm almost scared to ask21:34
*** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC21:50
*** psydroid2 <psydroid2!~psydroid@user/psydroid> has quit IRC22:00
openpowerbot[irc] <lkcl> sadoon[m]1, you'll need to look up the ECP5-85K's datasheet22:44
openpowerbot[irc] <sadoon[m]1> Or22:46
openpowerbot[irc] <sadoon[m]1> Add flip flops to act as RAM /s22:46
openpowerbot[irc] <sadoon[m]1> I was hoping to get linux working, sigh22:46
openpowerbot[irc] <sadoon[m]1> I'll try to get my hands on some HyperRAMs once they become available, or find another solution22:47
*** Gooberpatrol66 <Gooberpatrol66!~Gooberpat@user/gooberpatrol66> has quit IRC22:56
openpowerbot[irc] <lkcl> sadoon[m]1, no chance, sorry. HyperRAM's your lot until someone adds sdram1 support to ls2.23:24
openpowerbot[irc] <lkcl> sdram1 on opencores works - it's been put into silicon by the Shakti Team. but guess what: yyep, it needs integration and testing: you can't just "chuck it in" like you can a software library.23:25
*** Gooberpatrol66 <Gooberpatrol66!~Gooberpat@user/gooberpatrol66> has joined #libre-soc23:28
*** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has quit IRC23:34
*** Lucretia <Lucretia!~laguest@user/lucretia> has joined #libre-soc23:55

Generated by 2.17.1 by Marius Gedminas - find it at!