02:26 <CarlFK> https://github.com/itszor/vc4-toolchain apt-get build-dep gcc-6 E: Unable to find a source package for gcc-6

02:27 <clever> CarlFK: ive just built it using nix, entirely avoids the entire problem

02:28 <clever> CarlFK: start by installing nix, https://nixos.org/download/

02:28 <clever> then clone down https://github.com/librerpi/lk-overlay, cd into it, and run nix-shell

02:28 <clever> and it will build the gcc for you

02:34 <CarlFK> I got to here and don't see where it gets installed https://nix.dev/manual/nix/2.18/installation/multi-user

02:35 <clever> `sh <(curl -L https://nixos.org/nix/install) --daemon`

02:35 <clever> just that is enough to install nix

03:48 <CarlFK> I think I installed nix. now what?

03:48 <CarlFK> nix-shell

04:15 <CarlFK> clever: lk-overlay$ find -name nix-shell nothing

04:17 <CarlFK> I bet I need --recurse-submodules

04:19 <CarlFK> or not.

04:20 <CarlFK> oh... nix-shell is not part of that repo.. its installed somewhere. got it.

04:32 <clever> CarlFK: yeah, nix-shell is part of nix

04:33 <clever> you can see an example in the readme of lk-overlay

05:21 <CarlFK> it is still installing stuff

05:21 <CarlFK> model name : AMD Athlon(tm) 64 Processor 3500+

05:21 <CarlFK> one core

06:27 <CarlFK> installed!

06:31 <CarlFK> [nix-shell:~/rpi-open-firmware]$ time ./buildall.sh

06:32 <CarlFK> CC -M main.c -o build/main.d

06:32 <CarlFK> gcc: error: unrecognized command line option '-mfpu=vfp'; did you mean '-mcpu='?

14:10 <clever> CarlFK1: havent used buildall.sh ever, forgot it was even in the repo

14:12 <clever> [clever@amd-nixos:~/apps/rpi/rpi-open-firmware]$ nix-build -A vc4.firmware

14:13 <clever> CarlFK1: this will build the entire rpi-open-firmware project

17:32 <CarlFK1> clever: thanks. building.... I might need to run this on a better box

17:32 <clever> CarlFK1: its only slow the first time, nix has a lot of caching

17:34 <clever> what is it currently building?

17:36 <CarlFK1> grabbing something from the spew: ../../../source/libcpp/macro.c:2902:2: note: here

17:37 <clever> that looks like gcc

17:37 <CarlFK1> g++ -I../../source/libcpp -I. -I../../source/libcpp/../include -I../../source/libcpp/include -g -O2 -W -Wall -Wno-narrowing -Wwrite-strings -Wmissing-format-attribute -pedantic -Wno-long-long -fno-exceptions -fno-rtti -I../../source/libcpp -I. -I../../source/libcpp/../include -I../../source/libcpp/include -c -o files.o -MT files.o -MMD -MP -MF .deps/files.Tpo ../../source/libcpp/files.c

18:20 <CarlFK1> woot. OBJ build/bootcode.bin

18:22 <clever> CarlFK1: now just pop it onto an sd card, and spin up anything in the pi2/pi3 family

21:43 <CarlFK1> found pi, found sd, talked to friend for an hour...

21:44 <CarlFK1> clever: where is it? [nix-shell:~/rpi-open-firmware]$ find -name bootcode.bin

21:44 <CarlFK1>

21:44 <clever> CarlFK1: in `result`

21:44 <clever> `ls -lh result`

21:52 <CarlFK1> lrwxrwxrwx 1 videoteam videoteam 60 Oct 8 13:13 result -> /nix/store/z6nrw8z3swrw2azby8dgm3zxk1yrm7lf-firmware-vc4-elf

21:53 <clever> CarlFK1: oh right, symlinks are special with ls, `ls -lh result/`

21:59 <CarlFK1> -r-xr-xr-x 1 root root 104K Dec 31 1969 bootcode.bin

21:59 <clever> yep, there it is

21:59 <CarlFK1> to the sd card it goes

22:06 <CarlFK1> sudo reboot .. it didn't boot.

22:06 <CarlFK1> hdmi monitor went to sleep

22:07 <CarlFK1> looking for ftdi...

22:07 <clever> CarlFK1: that repo doesnt have any video support, you need to hook up the uart

22:07 <clever> lk-overlay has ntsc support, but no hdmi support

22:07 <CarlFK1> ah, k. looking..

22:08 <clever> rpi-open-firmware can boot linux in 32bit mode from SD, on the pi2 and pi3

22:08 <clever> lk-overlay can boot linux in 32bit on a pi2, or 64bit on pi3, from sd or usb, and it has ntsc out support

22:09 <CarlFK1> ah, now I understand the need for ntsc capture.

22:09 <clever> or just hook up a tv with composite input