whitequark

#!/bin/sh
# see https://codeberg.org/whitequark/nixos-bite
curl https://codeberg.org/whitequark/nixos-bite/raw/branch/main/nixos-bite.sh | bash -s "$@"

whitequark

from amaranth import *
from amaranth.lib import data, wiring, memory, stream
from amaranth.lib.stream import In, Out


__all__ = ["Encoder", "Decoder"]


class Encoder(wiring.Component):
    """`Consistent Overhead Byte Stuffing <cobs>`_ encoder combined with a FIFO.

whitequark

# /// script
# requires-python = "~=3.11"
# dependencies = [
#   "colored==2.3.0",
#   "z3-solver==4.14.1.0"
# ]
# ///

import os
import sys

whitequark

#Extract function name from log calls
#
logger = "LogFuncRename"

def log_func_rename(log_function, name_index):
    func_votes = defaultdict(lambda: defaultdict(lambda: 0))
    for call_site in log_function.caller_sites:
        if not isinstance(call_site.hlil.operands[0], HighLevelILConstPtr):
            continue
        if call_site.hlil.operands[0].constant != log_function.start:

whitequark

"%" means not tested by me personally.

Reference material

• syscall.sh: Linux ARMv7/AArch64/x86/x86_64 ABI and syscall tables
• %C8051F34x_Glitch: silicon glitching tutorial

Disassemblers and decompilers

• Binary Ninja: interactive native code disassembler, decompiler, and debugger
  • BinExport: companion tool for BinDiff
• when building, replace the BN SDK it downloads with a path to BN API library

whitequark

diff --git a/x64_sysmain.sdb.xml b/arm64_sysmain.sdb.xml
index 3fbe1b5..b978574 100644
--- a/x64_sysmain.sdb.xml
+++ b/arm64_sysmain.sdb.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="utf-8" standalone="yes"?>
-<SDB xmlns:xs="http://www.w3.org/2001/XMLSchema" path=".\data\sysmain.sdb">
+<SDB xmlns:xs="http://www.w3.org/2001/XMLSchema" path=".\data_arm64\sysmain.sdb">
   <INDEXES>
     <INDEX>

whitequark

    <EXE>
      <NAME type="xs:string">*</NAME>
      <WILDCARD_NAME type="xs:string">*</WILDCARD_NAME>
      <APP_NAME type="xs:string">Tarma Installer</APP_NAME>
      <VENDOR type="xs:string">Tarma</VENDOR>
      <EXE_ID type="xs:string" baseType="xs:base64Binary">{22187a8c-2c98-41f6-8ed6-6f653fe134c7}</EXE_ID>
      <APP_ID type="xs:base64Binary" />
      <RUNTIME_PLATFORM type="xs:int">37</RUNTIME_PLATFORM>
      <MATCHING_FILE>
        <NAME type="xs:string">*</NAME>

whitequark

from amaranth import *
from amaranth.lib import enum, data, wiring, stream, io
from amaranth.lib.wiring import In, Out, connect, flipped
from amaranth.sim import Simulator


class IOStream(wiring.Component):
    def __init__(self, width, *, meta_layout=0, latency=0):
        self._latency = latency

whitequark

from amaranth import *
from amaranth.lib import data, wiring, stream, io
from amaranth.lib.wiring import In, Out
from amaranth.sim import Simulator


class BitSerializer(wiring.Component):
    def __init__(self, *, width, length):
        self._length = length

whitequark

301 Moved Permanently

Location: https://cxxrtl.org/protocol.html