aep

sr: [00:00.000000] log: libsigrok loglevel set to 5.
sr: [00:00.001975] backend: libsigrok 0.6.0-git-ef62ab6/4:0:0.
sr: [00:00.002593] backend: Libs: glib 2.48.2 (rt: 2.62.3/6203:3), libzip 1.0.1, libserialport 0.1.1/1:0:1 (rt: 0.1.1/1:0:1), libusb-1.0 1.0.23.11397 API 0x01000104, hidapi 0.8.0-rc1, bluez 5.37, libftdi 1.2.
sr: [00:00.002600] backend: Host: x86_64-pc-linux-gnu, little-endian.
sr: [00:00.002604] backend: SCPI backends: TCP, RPC, serial, USBTMC.
sr: [00:00.002607] backend: Firmware search paths:
sr: [00:00.002619] backend:  - /root/.local/share/sigrok-firmware
sr: [00:00.002623] backend:  - /home/jenkins_slave/sr/share/sigrok-firmware
sr: [00:00.002627] backend:  - /tmp/.mount_sigrokItvVv6/usr/share/sigrok-firmware
sr: [00:00.002631] backend:  - /usr/local/share/sigrok-firmware

aep

(declare-fun S0_len (Int Int) (_ BitVec 64)); theory len
(declare-fun S1___array__main__SIZE (Int) (_ BitVec 64)); local ::array::main::SIZE
; line 11
; literal expr
(declare-fun S2_literal_3 (Int) (_ BitVec 64)); local literal 3
(assert (= (S2_literal_3 0) (_ bv3 64)))
(assert (= (S1___array__main__SIZE 1)  (S2_literal_3 0)))
(declare-fun S4_boh (Int) (_ BitVec 8)); local boh
; line 14
; call

aep

/dts-v1/;

/ {
	interrupt-parent = <0x01>;
	#address-cells = <0x01>;
	#size-cells = <0x01>;
	model = "Xunlong Orange Pi Zero";
	compatible = "xunlong,orangepi-zero\0allwinner,sun8i-h2-plus";

	chosen {

aep

$ ./compiler/v
>>> println()
Looks like you are running V for the first time.
V repo not found. Cloning...
Re-launch V from v/compiler
$ ./compiler/v/compiler/v
>>> println()
Looks like you are running V for the first time.
V repo not found. Cloning...
Re-launch V from v/compiler

aep

# carrier protocol tuning 
# in ~/.devguard/carrier.toml under the [protocol] category
    
window_delay = 1
# sets backoff push delay when the send window is full
# lowwer is faster. if increasing this helps, this is a bug


min_latency = 0
# overwrite latency calculation and assume at least this amount of milliseconds of latency

aep

[package]
name = "burpi"
version = "0.1.0"
authors = ["Arvid E. Picciani <aep@exys.org>"]
edition = "2018"

[dependencies]
carrier = "*"

aep

use std::hash::{Hash, Hasher};
use std::collections::hash_map::DefaultHasher;
let mut hasher = DefaultHasher::new();
identity.hash(&mut hasher);
let r = hasher.finish();
if r % shard_count  as u64 == shard  as u64 {
    // work on this thing
}

aep

[    8.630000] ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver
[    8.640000] ehci-platform ehci-platform.0: Generic Platform EHCI Controller
[    8.650000] ehci-platform ehci-platform.0: new USB bus registered, assigned bus number 1
[    8.680000] ehci-platform ehci-platform.0: irq 3, io mem 0x1b000000
[    8.700000] ehci-platform ehci-platform.0: USB 2.0 started, EHCI 1.00
[    8.700000] hub 1-0:1.0: USB hub found
[    8.710000] hub 1-0:1.0: 1 port detected
[    8.800000] nf_conntrack version 0.5.0 (1973 buckets, 7892 max)
[    9.160000] usb 1-1: new high-speed USB device number 2 using ehci-platform
[    9.310000] hub 1-1:1.0: USB hub found

aep

&pio {
   pinctrl-names = "default";
   pinctrl-0 = <&uuser>;

   uuser:uuser {
       pins = "PA6";
       bias-pull-up;
   };

};

aep

        pinctrl@01c20800 {
            reg = <0x01c20800 0x00000400>;
            interrupts = <0x00000000 0x0000000b 0x00000004 0x00000000 0x00000011 0x00000004>;
            clocks = <0x00000002 0x00000036 0x0000000a 0x0000000b>;
            clock-names = "apb", "hosc", "losc";
            gpio-controller;
            #gpio-cells = <0x00000003>;
            interrupt-controller;
            #interrupt-cells = <0x00000003>;
            compatible = "allwinner,sun8i-h3-pinctrl";