| *** tpb has joined #timvideos | 00:00 | |
| cfelton | ignore the travis-ci failure, I haven't had time to figure out how to get output enabled | 00:00 |
|---|---|---|
| mithro | cfelton: I can help with the travis-ci thing | 00:01 |
| cfelton | I also incorporated it back in (at one point) | 00:01 |
| mithro | cfelton: I think we must have totally missed that? | 00:01 |
| cfelton | the point was to convert to one HDL base because no open-source sims support mixed lang | 00:03 |
| cfelton | outlined rational here http://www.fpgarelated.com/showarticle/718.php | 00:05 |
| tpb | Title: I don’t often convert VHDL to Verilog but when I do ... - Christopher Felton (at www.fpgarelated.com) | 00:05 |
| mithro | cfelton: yeah - that rational makes a huge amount of sense | 00:05 |
| mithro | cfelton: we want to support the zybo which needs the firmware to work with vivado which doesn't support mixed mode either | 00:06 |
| cfelton | I have to go put the kids to bed, talk to you later | 00:06 |
| mithro | cfelton: sadly, verilog seems to be the best choice too for the reasons you listed above | 00:06 |
| mithro | cfelton: okay, ttyl too | 00:09 |
| *** CarlFK has quit IRC | 01:30 | |
| *** CarlFK has joined #timvideos | 01:32 | |
| *** ChanServ sets mode: +v CarlFK | 01:32 | |
| *** cosyn has quit IRC | 01:56 | |
| CarlFK | mithro: + function checkout_firmware { | 01:56 |
| CarlFK | ./.update.sh: 18: ./.update.sh: function: not found | 01:56 |
| *** cosyn has joined #timvideos | 01:58 | |
| CarlFK | mithro: changed sh to bash. | 02:11 |
| CarlFK | mithro: now I get: echo 'Source the settings64.sh file in the ISE_DS directory. | 02:11 |
| CarlFK | I have neither of those | 02:11 |
| CarlFK | juser@dc10b:~/HDMI2USB-firmware-prebuilt$ find ~/ -name settings64.sh | 02:11 |
| CarlFK | juser@dc10b:~/HDMI2USB-firmware-prebuilt$ find ~/ -name ISE_DS | 02:11 |
| *** Niharika has joined #timvideos | 03:42 | |
| *** Niharika is now known as Guest63300 | 03:43 | |
| *** Guest63300 has quit IRC | 03:48 | |
| *** sb0 has joined #timvideos | 04:13 | |
| *** Niharika_ has joined #timvideos | 04:19 | |
| shenki | mithro: ping | 04:33 |
| mithro | shenki: pong | 04:33 |
| shenki | mithro: i got the tunnel working | 04:33 |
| mithro | CarlFK: sorry went to lunch | 04:33 |
| mithro | CarlFK: you need the Xilinx ISE tools installed in /opt/Xilinx | 04:34 |
| shenki | mithro: http://pastebin.com/aDV5QX8H | 04:34 |
| tpb | Title: eth0 Link encap:Ethernet HWaddr 3c:97:0e:c4:fd:60 inet addr:1 - Pastebin.com (at pastebin.com) | 04:34 |
| shenki | mithro: should i have that many global inet6 addrs? | 04:34 |
| mithro | shenki: you should have a routed /64 | 04:35 |
| mithro | Subnet information R2633052001:4830:1200:806d::/642001:4830:1200:6d::2 | 04:35 |
| mithro | shenki: looks like it's connected from this side too | 04:35 |
| shenki | mithro: yeah, i added the prefix for the routed subnet in the config | 04:36 |
| shenki | mithro: i used openwrt, it was very straight forward | 04:37 |
| mithro | shenki: great! | 04:37 |
| mithro | shenki: what should I try pinging from this side? | 04:37 |
| shenki | mithro: 2001:4830:1200:6d::2/64 i think | 04:38 |
| *** tija has joined #timvideos | 04:41 | |
| shenki | mithro: what do your ip6tables rules look like on your laptop? | 04:46 |
| mithro | shenki: that is the tunnel endpoint - what is an IP address of a machine inside your network? | 04:46 |
| shenki | 2001:4830:1200:806d:edcd:3671:78d6:217f | 04:47 |
| mithro | tansell@tansell-z620-l2:~/www$ ping6 2001:4830:1200:806d:edcd:3671:78d6:217f | 04:47 |
| mithro | PING 2001:4830:1200:806d:edcd:3671:78d6:217f(2001:4830:1200:806d:edcd:3671:78d6:217f) 56 data bytes | 04:47 |
| mithro | 64 bytes from 2001:4830:1200:806d:edcd:3671:78d6:217f: icmp_seq=1 ttl=54 time=49.3 ms | 04:47 |
| mithro | 64 bytes from 2001:4830:1200:806d:edcd:3671:78d6:217f: icmp_seq=2 ttl=54 time=42.0 ms | 04:47 |
| shenki | why does it also have 2001:4830:1200:806d:3e97:eff:fec4:fd60 ? | 04:48 |
| mithro | shenki: unsure, one might be something to do with privacy extensions? | 04:48 |
| shenki | ok | 04:53 |
| CarlFK | mithro: Xilinx ISE tools - is that this https://github.com/timvideos/HDMI2USB/wiki/Digilent-Atlys-Board:-Adept-Setup-for-Xilinx-ISE | 05:06 |
| tpb | Title: Digilent Atlys Board: Adept Setup for Xilinx ISE · timvideos/HDMI2USB Wiki · GitHub (at github.com) | 05:06 |
| CarlFK | "Full Installer for Linux (TAR/GZIP - 6.09 GB)" | 05:06 |
| mithro | CarlFK: yes - but you only need to do the first step | 05:06 |
| CarlFK | um.. what? | 05:07 |
| CarlFK | i'm not sure what the first step is | 05:11 |
| mithro | CarlFK: didn't you do that FPGA course a while back? | 05:11 |
| CarlFK | yes | 05:12 |
| mithro | CarlFK: did you use the Xilinx ISE tools for that? | 05:12 |
| CarlFK | I don't remember. | 05:12 |
| mithro | CarlFK: sadly you need that "Full Installer for Linux (TAR/GZIP - 6.09 GB)" | 05:13 |
| CarlFK | do you have the file name? | 05:15 |
| CarlFK | I might have it | 05:15 |
| CarlFK | https://secure.xilinx.com/webreg/createUserAction.do says I have used [email protected] before | 05:15 |
| tpb | Title: Registration - Create Account/Password (at secure.xilinx.com) | 05:15 |
| mithro | CarlFK: something like "Xilinx_ISE_DS_Lin_14.7_1015_1.tar" | 05:16 |
| CarlFK | I think it is downloading | 05:31 |
| CarlFK | https://xilinx-ax-dl.entitlenow.com/dl/ul/2013/10/18/R209855202/Xilinx_ISE_DS_Lin_14.7_1015_1.tar/f182902ce41bf373de5e827ca05dfe40/551A30D8/Xilinx_ISE_DS_Lin_14.7_1015_1.tar?akdm=1&filename=Xilinx_ISE_DS_Lin_14.7_1015_1.tar | 05:32 |
| CarlFK | yeah, eta 2 hours. im off to bed | 05:32 |
| *** sb0 has quit IRC | 07:49 | |
| *** Niharika_ is now known as Niharika | 08:32 | |
| *** tija has quit IRC | 09:06 | |
| *** Niharika has quit IRC | 09:27 | |
| *** Niharika|mobile has joined #timvideos | 10:15 | |
| *** Niharika|mobile has quit IRC | 12:27 | |
| *** Niharika has joined #timvideos | 13:07 | |
| *** Niharika is now known as Guest55241 | 13:07 | |
| CarlFK | im awake! and Xilinx_ISE_DS_Lin_14.7_1015_1.tar downloaded | 13:16 |
| mithro | heyo | 13:19 |
| mithro | I've got a bunch of fixes to the script | 13:20 |
| *** tvCommitBot has joined #timvideos | 13:28 | |
| tvCommitBot | [HDMI2USB] mithro opened pull request #119: Don't fail if nothing to clean up. (master...master) http://git.io/j6eS | 13:28 |
| *** tvCommitBot has left #timvideos | 13:28 | |
| *** tvCommitBot has joined #timvideos | 13:31 | |
| tvCommitBot | [HDMI2USB] mithro pushed 2 new commits to master: http://git.io/j6vd | 13:31 |
| tvCommitBot | HDMI2USB/master aa111b2 Tim 'mithro' Ansell: Don't fail if nothing to clean up. | 13:31 |
| tvCommitBot | HDMI2USB/master e2b8b92 Tim Ansell: Merge pull request #119 from mithro/master... | 13:31 |
| *** tvCommitBot has left #timvideos | 13:31 | |
| CarlFK | mithro: have you pushes them? | 13:37 |
| CarlFK | https://github.com/timvideos/HDMI2USB-firmware-prebuilt/blob/master/.update.sh this right? | 13:37 |
| tpb | Title: HDMI2USB-firmware-prebuilt/.update.sh at master · timvideos/HDMI2USB-firmware-prebuilt · GitHub (at github.com) | 13:37 |
| mithro | not yet, will in about 30 seconds | 13:37 |
| mithro | CarlFK: just waiting for the firmware to build | 13:41 |
| CarlFK | ~/Xilinx_ISE_DS_Lin_14.7_1015_1$ sudo ./xsetup is 70% done.. | 13:47 |
| CarlFK | ~help | 13:47 |
| tpb | CarlFK: help [<plugin>] [<command>] | 13:47 |
| CarlFK | huh. | 13:48 |
| lukas2511 | Password: | 13:48 |
| CarlFK | I haven't had enough coffee for this | 13:51 |
| lukas2511 | good passphrase | 13:53 |
| *** travis-ci has joined #timvideos | 13:54 | |
| travis-ci | [mithro/HDMI2USB/master#79] (aa111b2): The build passed. (http://travis-ci.org/mithro/HDMI2USB/builds/56412101) | 13:54 |
| *** travis-ci has left #timvideos | 13:54 | |
| *** travis-ci has joined #timvideos | 13:58 | |
| travis-ci | [timvideos/HDMI2USB/master#36] (e2b8b92): The build passed. (http://travis-ci.org/timvideos/HDMI2USB/builds/56412469) | 13:58 |
| *** travis-ci has left #timvideos | 13:58 | |
| mithro | CarlFK: pushing now | 13:59 |
| CarlFK | got it. | 14:01 |
| CarlFK | # .update.sh [branch] [commit-id] [message] | 14:01 |
| CarlFK | looks like a branch is required ? | 14:01 |
| CarlFK | juser@dc10b:~/HDMI2USB-firmware-prebuilt$ ./.update.sh | 14:01 |
| CarlFK | + echo 'Unknown branch '\'''\''' | 14:01 |
| CarlFK | mithro: ^^^ brb, need to make a bowl of cereal | 14:02 |
| mithro | CarlFK: yes | 14:02 |
| mithro | CarlFK: this script is designed to update the prebuilt repo | 14:02 |
| CarlFK | # For stable, it shouldn't be given. | 14:04 |
| CarlFK | that doesn't seem to work. | 14:04 |
| CarlFK | but I want unstable anyway | 14:05 |
| mithro | CarlFK: I just built with | 14:05 |
| CarlFK | + echo 'Need to specify a commit id!' | 14:05 |
| mithro | .update.sh testing e2b8b920d251e21ea0abfcbcd43b282a237cf575 | 14:05 |
| CarlFK | http://paste.ubuntu.com/10706942/ | 14:07 |
| tpb | Title: Ubuntu Pastebin (at paste.ubuntu.com) | 14:07 |
| CarlFK | mithro: ^^^ really getting cereal now | 14:07 |
| mithro | CarlFK: it didn't do anything because I had already built the firmware | 14:08 |
| CarlFK | is there something like make clean so I can test the build process? | 14:09 |
| mithro | yes | 14:10 |
| mithro | CLEAN=true .update.sh testing e2b8b920d251e21ea0abfcbcd43b282a237cf575 | 14:10 |
| mithro | in theory | 14:10 |
| mithro | I'm testing locally now myself | 14:11 |
| CarlFK | is .update.sh in your path? | 14:11 |
| mithro | thought it was worth pushing before waiting | 14:11 |
| mithro | I actually have ./.update.sh here | 14:11 |
| CarlFK | /bin/bash: sdcc: command not found | 14:16 |
| mithro | opps, I guess I'm not checking for sdcc being install | 14:20 |
| mithro | sudo apt-get install sdcc | 14:20 |
| CarlFK | there we go. lots of stuff happening | 14:22 |
| *** Guest55241 is now known as Niharika | 14:27 | |
| CarlFK | mithro: WARNING:Security:43 - No license file was found in the standard Xilinx license directory. | 14:30 |
| mithro | CarlFK: that means you haven't gotten a license file for Xilinx ISE | 14:31 |
| CarlFK | ERROR:Security:9c - No 'ISE' nor 'WebPack' feature version 2013.10 was available | 14:31 |
| CarlFK | for part 'xc6slx45' | 14:31 |
| mithro | CarlFK: we should add that to the instructions | 14:31 |
| CarlFK | mithro: any idea how I get that? | 14:36 |
| mithro | CarlFK: yeah, you go to the Xilinx site and there is like a "License" link or something | 14:36 |
| CarlFK | mithro: this? License Management Tools - 14.7 Utilities | 14:51 |
| CarlFK | that gave me something but not sure what to do now. | 14:51 |
| CarlFK | juser@dc10b:~$ unzip linux_flexlm_v11.11.zip | 14:51 |
| CarlFK | Archive: linux_flexlm_v11.11.zip .... | 14:51 |
| mithro | CarlFK: http://www.xilinx.com/getlicense/ | 14:53 |
| mithro | CarlFK: actually, at the end of the installation it should have said something about getting a webpack license | 14:53 |
| CarlFK | mithro: ISE webpack? | 15:02 |
| mithro | CarlFK: yes | 15:02 |
| lukas2511 | does that license manager work again? last two times i used it (probably years apart) it just crashed and i had to install the license manually m) | 15:07 |
| CarlFK | mithro: (and lukas2511) um.. Linux: Type ‘vlm’ in a command-line window ... juser@dc10b:~$ find ./ -name vlm | 15:26 |
| mithro | CarlFK: what are you doing? | 15:27 |
| CarlFK | from the email that came with the .lic file: 2. Run the Vivado License Manager | 15:28 |
| CarlFK | "These steps will copy your license file to the appropriate default directory (the .Xilinx directory under your home drive – typically C: for Windows)." | 15:28 |
| CarlFK | so I guess I can just cp it? | 15:28 |
| mithro | if you just put it in the ~/.Xilinx directory that might work | 15:58 |
| mithro | CarlFK: but I really should be asleep now | 15:58 |
| mithro | like 3 hours ago | 15:58 |
| CarlFK | mithro: k - I'll see how far I can get, and also try the firmware you uploaded | 15:59 |
| mithro | CarlFK: the firmware I committed should be pretty similar to the one we had running at LCA | 16:00 |
| mithro | CarlFK: I haven't tested it though | 16:00 |
| mithro | CarlFK: just push another minor change to the .update.sh script | 16:00 |
| CarlFK | mithro: it's what I should be testing on right? | 16:01 |
| mithro | CarlFK: yeah | 16:01 |
| CarlFK | good | 16:01 |
| CarlFK | get to sleep ;) | 16:01 |
| mithro | CarlFK: you should also poke shenki and tell him to make the .update.sh script part of the travis-ci build (so that a new firmware gets uploaded after every push) | 16:01 |
| CarlFK | shenki: ^^^ do that. | 16:02 |
| mithro | CarlFK: can you log some issues about sdcc being missing | 16:04 |
| mithro | CarlFK: and maybe some issues about the documentation being poor in places | 16:04 |
| mithro | CarlFK: and maybe something about removing references to the "Digilent Adept" stuff | 16:05 |
| CarlFK | umm... | 16:05 |
| CarlFK | I shouldn't be adding issues about things I don't understand | 16:06 |
| mithro | "There should be a step-by-step guide for installing the required Xilinx ISE tools" would be good | 16:23 |
| CarlFK | bed! | 16:24 |
| CarlFK | lol | 16:24 |
| * mithro finally makes it home | 16:24 | |
| CarlFK | omg. lol | 16:24 |
| mithro | Finally in bed, have a Gnight people | 16:33 |
| mithro | Be back in ~8 hours | 16:33 |
| *** CarlFK has quit IRC | 16:49 | |
| *** CarlFK has joined #timvideos | 17:24 | |
| *** ChanServ sets mode: +v CarlFK | 17:24 | |
| *** CarlFK has quit IRC | 17:35 | |
| *** CarlFK has joined #timvideos | 17:51 | |
| *** ChanServ sets mode: +v CarlFK | 17:51 | |
| *** Niharika has quit IRC | 18:43 | |
| CarlFK | he look, new test pattern | 23:08 |
| CarlFK | and heart beat | 23:09 |
| CarlFK | mplayer -tv device=/dev/video0 tv:// I has test pattern. | 23:46 |
| shenki | mithro: what's the name of the dnssec thing that lets you have a chain of trust without your domain's root supporing it? | 23:53 |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!