/dev/spidev0,0 on the Rock64 - Does anyone know how to enable it?

[Kappuchino]

(Sorry for the wait, took a break from computing and else)

So now everything is smooth until I start the modified script then ... nothing. 

Here is the "proof of wireing" - this time with a 4.2'' display, but others didn't work as well. 

When I force-quit with ctrl-c, this is the output:

^C You must setup() the GPIO channel (BOARD 26) as an output first
^C You must setup() the GPIO channel (BOARD 15) as an output first
 ^C Traceback (most recent call last):
  File "main.py", line 84, in <module>
    main()
  File "main.py", line 80, in main
    epd.set_frame_memory(time_image.rotate(90), 80, 80)
  File "/home/rock64/spidev/epd1in54.py", line 205, in set_frame_memory
    self.send_data(byte_to_send)
  File "/home/rock64/spidev/epd1in54.py", line 97, in send_data
    self.digital_write(self.dc_pin, GPIO.HIGH)
  File "/home/rock64/spidev/epd1in54.py", line 82, in digital_write
    epdif.epd_digital_write(pin, value)
  File "/home/rock64/spidev/epdif.py", line 41, in epd_digital_write
    GPIO.output(pin, value)
  File "/home/rock64/spidev/R64/_GPIO.py", line 184, in output
    for index in range(len(channel)):
KeyboardInterrupt

So ... I will write down line by line what I did, again (see that on github today) but no dice so far.