| *** markos_ <markos_!~markos_@user/markos/x-1838887> has quit IRC | 01:00 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@91.205.170.111> has quit IRC | 01:05 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.41.158> has joined #libre-soc | 01:07 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.41.158> has quit IRC | 01:28 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@91.205.170.111> has joined #libre-soc | 01:31 | |
| klys | programmerjake, what channel are you in? | 02:12 |
|---|---|---|
| openpowerbot | [irc] <programmerjake> i'm in #libre-soc | 02:44 |
| openpowerbot | [irc] <programmerjake> idk if that shows up correctly in irc, it's `#_oftc_#libre-soc:matrix.org` | 02:45 |
| openpowerbot | [irc] <programmerjake> openpowerbot copies messages to all the other channels | 02:45 |
| *** HumanGeek <HumanGeek!~HumanG33k@82.66.65.160> has quit IRC | 03:06 | |
| *** HumanGeek <HumanGeek!~HumanG33k@82.66.65.160> has joined #libre-soc | 03:07 | |
| *** gnucode <gnucode!~gnucode@user/jab> has quit IRC | 03:20 | |
| klys | programmerjake, i'm not quite sure you saw this tidbit: 13:10:45< lkcl> RIGHT NOW 13:10:58-!- lkcl [~lkcl@host-92-8-132-48.as13285.net] has quit [Quit: Leaving] | 04:18 |
| *** lkcl <lkcl!~lkcl@host-92-8-132-48.as13285.net> has joined #libre-soc | 06:58 | |
| *** psydroid <psydroid!~psydroid@user/psydroid> has joined #libre-soc | 08:26 | |
| *** markos_ <markos_!~markos_@static062038076032.access.hol.gr> has joined #libre-soc | 09:00 | |
| *** markos_ <markos_!~markos_@user/markos/x-1838887> has joined #libre-soc | 09:00 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 09:20 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 09:44 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 10:03 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 10:08 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@91.205.170.111> has quit IRC | 10:15 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.136> has joined #libre-soc | 10:16 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.136> has quit IRC | 10:49 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.136> has joined #libre-soc | 10:49 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 10:51 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.136> has quit IRC | 11:08 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.160.18> has joined #libre-soc | 11:08 | |
| *** psydroid <psydroid!~psydroid@user/psydroid> has quit IRC | 11:16 | |
| *** psydroid <psydroid!~psydroid@user/psydroid> has joined #libre-soc | 11:16 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.160.18> has quit IRC | 11:26 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.108> has joined #libre-soc | 11:27 | |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 12:08 | |
| *** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has joined #libre-soc | 12:33 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.164.108> has quit IRC | 12:34 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.168.39> has joined #libre-soc | 12:35 | |
| cesar | markos_, 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 now | 12:39 |
| cesar | Sure, just let me know. | 12:41 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.168.39> has quit IRC | 12:47 | |
| *** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has quit IRC | 13: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 works | 13:17 |
| *** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has joined #libre-soc | 13:28 | |
| cesar | markos_, please type: | 13:36 |
| cesar | git fetch cesar | 13:36 |
| cesar | git checkout digilent-gpio | 13:36 |
| cesar | cd nmigen_boards/test/nexys_video/digilent | 13:36 |
| cesar | ./program.sh | 13:36 |
| cesar | It is a Digilent demo, and I compiled it with Vivado. It should work. | 13:37 |
| cesar | Otherwise, we are doing something wrong when downloading the bit file to the FPGA. | 13:37 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@91.205.170.111> has joined #libre-soc | 13:38 | |
| markos_ | missing board/digilent_nexys_video.cfg | 13:42 |
| cesar | Prepending /usr/share/openocd/scripts/ helps? | 13:46 |
| markos_ | ok, it programmed | 13:51 |
| markos_ | on the screen I see "This is Digilent Nexys Video" | 13:51 |
| markos_ | so, that's good I guess :) | 13:51 |
| cesar | markos_, try the switches, they should control the LEDs. | 14:34 |
| cesar | Also, the buttons should send messages to the serial console. | 14:34 |
| cesar | Full documentation for this demo is here: | 14:35 |
| cesar | https://digilent.com/reference/learn/programmable-logic/tutorials/nexys-video-basic-user-demo/start | 14:35 |
| *** markos_ <markos_!~markos_@user/markos/x-1838887> has quit IRC | 15:13 | |
| *** psydroid2 <psydroid2!~psydroid@user/psydroid> has joined #libre-soc | 15:14 | |
| *** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has quit IRC | 15:17 | |
| *** markos_ <markos_!~markos_@static062038076032.access.hol.gr> has joined #libre-soc | 15:26 | |
| *** markos_ <markos_!~markos_@user/markos/x-1838887> has joined #libre-soc | 15:26 | |
| *** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has joined #libre-soc | 15:32 | |
| cesar | I don't see my name in the MOU JSON file... | 15:59 |
| cesar | ... in the "participants" section. I'm looking at https://bugs.libre-soc.org/attachment.cgi?id=202. | 16:15 |
| lkcl | cesar, 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 |
| lkcl | which task was for you, can you remember? it was the formal proofs one wasn't it? | 16:20 |
| lkcl | ok i am just going to randomly assign one task to you | 16:22 |
| lkcl | :) | 16:22 |
| cesar | It's #1036, which I'm already assigned to. I'm also assigned to #737. | 16:23 |
| lkcl | cesar, hmmm bizarre. 1 sec | 16:24 |
| lkcl | ahh it's _payments_. okaay | 16:25 |
| lkcl | should be sorted | 16:26 |
| lkcl | programmerjake: you were not authorized to make this change https://git.libre-soc.org/?p=utils.git;a=commitdiff;h=0d95774b1 | 16:27 |
| lkcl | i 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 IRC | 16:28 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@91.205.170.111> has quit IRC | 16:47 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.43.56> has joined #libre-soc | 16:48 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.43.56> has quit IRC | 16:52 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@91.205.170.111> has joined #libre-soc | 16:53 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@91.205.170.111> has quit IRC | 17:43 | |
| *** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has joined #libre-soc | 17:56 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.43.173> has joined #libre-soc | 18:05 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.43.173> has quit IRC | 18:09 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.43.173> has joined #libre-soc | 18:11 | |
| openpowerbot | [irc] <sadoon[m]1> I can see there is already a section on the ULX3S on https://libre-soc.org/HDL_workflow/microwatt/ | 18:13 |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.43.173> has quit IRC | 18: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@176.59.55.136> has joined #libre-soc | 18:21 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.55.136> has quit IRC | 18:25 | |
| *** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has quit IRC | 18:28 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.170.237> has joined #libre-soc | 18:35 | |
| *** octavius <octavius!~octavius@92.40.168.110.threembb.co.uk> has joined #libre-soc | 18:38 | |
| octavius | sadoon, 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 toolchain | 18:40 |
| octavius | you'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 board | 18: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 baud | 18:42 |
| openpowerbot | [irc] <sadoon[m]1> meaning you program the board and open putty or something similar and it's there | 18:43 |
| openpowerbot | [irc] <sadoon[m]1> that would be awesome for microwatt, and I'm pretty sure the riscv core has serial loopback as well | 18: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 | sure | 18:46 |
| *** octavius <octavius!~octavius@92.40.168.110.threembb.co.uk> has quit IRC | 18:47 | |
| *** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has joined #libre-soc | 19:46 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@176.59.170.237> has quit IRC | 19:56 | |
| *** ghostmansd[m] <ghostmansd[m]!~ghostmans@91.205.170.111> has joined #libre-soc | 19:56 | |
| *** gnucode <gnucode!~gnucode@user/jab> has joined #libre-soc | 20:11 | |
| openpowerbot | [irc] <sadoon[m]1> have some free time, will attempt now | 20:16 |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has joined #libre-soc | 21:04 | |
| openpowerbot | [irc] <sadoon[m]1> Hmm having trouble with ghdl on POWER | 21:25 |
| openpowerbot | [irc] <sadoon[m]1> I'll try tomorrow | 21: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 problem | 21:28 |
| openpowerbot | [irc] <lkcl> try blinky first, it's a one-line command (literally) | 21:28 |
| openpowerbot | [irc] <lkcl> just like octavius says | 21:28 |
| openpowerbot | [irc] <lkcl> jacob's uart_demo.py 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 target | 21:30 |
| openpowerbot | [irc] <lkcl> i have *five* FPGA boards, remember? ulx3s, VERSA_ECP5, arty-a7-100t, ZC706, and nexys_video | 21:32 |
| openpowerbot | [irc] <sadoon[m]1> How much RAM is there? | 21:33 |
| openpowerbot | [irc] <sadoon[m]1> I'm almost scared to ask | 21:34 |
| *** lxo <lxo!~lxo@gateway/tor-sasl/lxo> has quit IRC | 21:50 | |
| *** psydroid2 <psydroid2!~psydroid@user/psydroid> has quit IRC | 22:00 | |
| openpowerbot | [irc] <lkcl> sadoon[m]1, you'll need to look up the ECP5-85K's datasheet | 22:44 |
| openpowerbot | [irc] <sadoon[m]1> Or | 22:46 |
| openpowerbot | [irc] <sadoon[m]1> Add flip flops to act as RAM /s | 22:46 |
| openpowerbot | [irc] <sadoon[m]1> I was hoping to get linux working, sigh | 22:46 |
| openpowerbot | [irc] <sadoon[m]1> I'll try to get my hands on some HyperRAMs once they become available, or find another solution | 22:47 |
| *** Gooberpatrol66 <Gooberpatrol66!~Gooberpat@user/gooberpatrol66> has quit IRC | 22: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-soc | 23:28 | |
| *** cesar <cesar!~cesar@2804:14d:7e2b:9124:cb4f:29cf:4b1f:dcf0> has quit IRC | 23:34 | |
| *** Lucretia <Lucretia!~laguest@user/lucretia> has joined #libre-soc | 23:55 | |
Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!