Skip to content

Instantly share code, notes, and snippets.

View bhcopeland's full-sized avatar

Benjamin Copeland bhcopeland

29 followers · 49 following
  • Linaro
  • UK
View GitHub Profile
@bhcopeland
bhcopeland / failing.log
Created June 3, 2026 13:54
v6.1.175
2026-06-02T10:19:39 lava-dispatcher, installed at version: 2026.01.dev0085
2026-06-02T10:19:39 start: 0 validate
2026-06-02T10:19:39 Start time: 2026-06-02 10:19:39.309456+00:00 (UTC)
2026-06-02T10:19:39 Validating that file:///home/ben/.cache/claude-tmp/tuxrun-oua9z9p6/startup.nsh exists
2026-06-02T10:19:39 Validating that https://storage.tuxboot.com/buildroot/fvp-aemva/FVP_AARCH64_EFI.fd exists
2026-06-02T10:19:39 Validating that https://storage.tuxboot.com/buildroot/fvp-aemva/bl1.bin exists
2026-06-02T10:19:40 Validating that https://storage.tuxboot.com/buildroot/fvp-aemva/fvp-base-revc.dtb exists
2026-06-02T10:19:40 Validating that https://files.kernelci.org/kbuild-gcc-14-arm64-6a1b1943ee38c2a863f06029/Image.gz exists
2026-06-02T10:19:40 Validating that file:///home/ben/.cache/tuxrun/assets/http___storage.kernelci.org_images_rootfs_buildroot_buildroot-baseline_20230703.0_arm64_rootfs.cpio.gz exists
2026-06-02T10:19:40 Validating that https://storage.tuxboot.com/buildroot/fvp-aemva/fip.bin exists
@bhcopeland
bhcopeland / qemu-helper-aliasing.md
Created May 23, 2026 09:36
PatchPilot prompt clauses for SIMD helper-aliasing FP + verify-claims

SIMD helper aliasing is not always a bug

SVE/SME/Neon helpers commonly receive vd == vn (or vd == vn == vm) because the architectural instruction allows source and destination registers to be the same. A reviewer who sees uint8_t *d = vd; uint32_t *n = vn; with vd == vn may jump to "in-place transformation corrupts the source". Before asserting this, trace the order of operations within one iteration.

The lane-locked safe pattern looks like this:

@bhcopeland
bhcopeland / overcommit_memory01 mem=4G
Last active October 8, 2025 14:36
2025-10-08T13:24:53
2025-10-08T13:24:53 Matched prompt #12: login:
2025-10-08T13:24:53 {'definition': 'lava', 'namespace': 'common', 'case': 'kernel-messages', 'level': '2.2.1', 'duration': '13.83', 'result': 'pass', 'extra': {'extra': []}}
2025-10-08T13:24:53 Sending username root
2025-10-08T13:24:53 Sending line: 'root'
2025-10-08T13:24:53 root
2025-10-08T13:24:53 Setting prompt string to ['root@(.*):[/~]#']
2025-10-08T13:24:53 login-action: Wait for prompt ['root@(.*):[/~]#', 'Login incorrect', 'Login timed out'] (timeout 00:29:46)
2025-10-08T13:24:53 Waiting using forced prompt support (timeout 00:14:53)
2025-10-08T13:24:53 runner-j1aldqxsn-project-40964107-concurrent-0 login: root
@bhcopeland
bhcopeland / gist:8a1c0938fe2972a56a065e1b3be5f9f3
Created June 3, 2025 18:48
This file has been truncated, but you can view the full file.
timestamp,sensor,value,unit,status
2025-06-03 16:14:42,"Event_Log",0x00,"0x00",ok
2025-06-03 16:14:42,"Sys_Boot",0x00,"0x00",ok
2025-06-03 16:14:42,"OutletTemp",25,"degrees C",ok
2025-06-03 16:14:42,"Psu0InletTemp2",28,"degrees C",ok
2025-06-03 16:14:42,"Psu1InletTemp2",30,"degrees C",ok
2025-06-03 16:14:42,"PcieZoneTemp1",21,"degrees C",ok
2025-06-03 16:14:42,"PcieZoneTemp2",26,"degrees C",ok
2025-06-03 16:14:42,"InletTemp",18,"degrees C",ok
2025-06-03 16:14:42,"SysCabInletTemp",17,"degrees C",ok
@bhcopeland
bhcopeland / gist:f984ba55b0e70354d90c2ca0e56624c1
Created June 3, 2025 17:12
timestamp,sensor,value,unit,status
2025-06-03 16:14:42,"Event_Log",0x00,"0x00",ok
2025-06-03 16:14:42,"Sys_Boot",0x00,"0x00",ok
2025-06-03 16:14:42,"OutletTemp",25,"degrees C",ok
2025-06-03 16:14:42,"Psu0InletTemp2",28,"degrees C",ok
2025-06-03 16:14:42,"Psu1InletTemp2",30,"degrees C",ok
2025-06-03 16:14:42,"PcieZoneTemp1",21,"degrees C",ok
2025-06-03 16:14:42,"PcieZoneTemp2",26,"degrees C",ok
2025-06-03 16:14:42,"InletTemp",18,"degrees C",ok
2025-06-03 16:14:42,"SysCabInletTemp",17,"degrees C",ok
@bhcopeland
bhcopeland / gist:cf669b36b3a0a53472be69df04578b87
Created June 3, 2025 17:04
timestamp,sensor,value,unit,status
2025-06-03 16:14:42,"Event_Log",0x00,"0x00",ok
2025-06-03 16:14:42,"Sys_Boot",0x00,"0x00",ok
2025-06-03 16:14:42,"OutletTemp",25,"degrees C",ok
2025-06-03 16:14:42,"Psu0InletTemp2",28,"degrees C",ok
2025-06-03 16:14:42,"Psu1InletTemp2",30,"degrees C",ok
2025-06-03 16:14:42,"PcieZoneTemp1",21,"degrees C",ok
2025-06-03 16:14:42,"PcieZoneTemp2",26,"degrees C",ok
2025-06-03 16:14:42,"InletTemp",18,"degrees C",ok
2025-06-03 16:14:42,"SysCabInletTemp",17,"degrees C",ok
@bhcopeland
bhcopeland / gist:ba59d26615272bedcfe0b27c91d2bd68
Created June 3, 2025 16:59
timestamp,sensor,value,unit,status
2025-06-03 16:14:42,"Event_Log",0x00,"0x00",ok
2025-06-03 16:14:42,"Sys_Boot",0x00,"0x00",ok
2025-06-03 16:14:42,"OutletTemp",25,"degrees C",ok
2025-06-03 16:14:42,"Psu0InletTemp2",28,"degrees C",ok
2025-06-03 16:14:42,"Psu1InletTemp2",30,"degrees C",ok
2025-06-03 16:14:42,"PcieZoneTemp1",21,"degrees C",ok
2025-06-03 16:14:42,"PcieZoneTemp2",26,"degrees C",ok
2025-06-03 16:14:42,"InletTemp",18,"degrees C",ok
2025-06-03 16:14:42,"SysCabInletTemp",17,"degrees C",ok
@bhcopeland
bhcopeland / gist:9e00def9799665ee7a7b0a5065493297
Created August 2, 2021 11:33
import requests
def url_ok(url):
request = requests.get(url)
if request.status_code == 200:
return True
else:
return False
@bhcopeland
bhcopeland / gist:49a462458b27cde54f19952395683aae
Created July 7, 2021 10:18
diff --git a/devices/fx700 b/devices/fx700
index 0777548..2b7a5a4 100644
--- a/devices/fx700
+++ b/devices/fx700
@@ -3,6 +3,7 @@
{% set DEPLOY_OS = DEPLOY_OS|default("oe") %}
{% set ROOTFS_URL_COMP = ROOTFS_URL_COMP|default("xz") %}
+{% set RAMDISK_URL = RAMDISK_URL|default("http://213.146.155.21:9001/initrd.img-5.9.0-0.bpo.5-arm64" %}
@bhcopeland
bhcopeland / gist:87255662202f3a71572f23234075be73
Created June 29, 2021 09:40
ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQCrT7UTB86g3QG3d8M19XusaY9rOyoEL7pn4FTcPgOSBMHg/Tp+V5Zx06sb7KR5dQ6lPnEGBrw6QHkUCuP/tq1xrmsoP830a6ukkloKSdKrbv2Uvxh8ecUy8UF6Rk/htJ0Fug7qlQW+pWza/UUpbpwRWMfE+AIERkq5LO62ImYTpWbCm0CsS3wHDVY9LIQukcu9TLLitFdzK1i20UuOpV0FDRqrVZXHaKRMf1gNQPsVYTfxYr9/fmcU6C8gU3xRjBPgTVIUEkD2lQqHBR37xlV4keF3o7fFf5tpxzXbgUF1rWOYw56vME0PXk+n1MPFvwwdbPv+/3QEMQdfUuVFrAIj ben.copeland@linaro.org