5nizza

Set up thinkfan on Thinkpad x1 yoga gen 7

All the steps for setting up thinkfan on thinkpad x1 yoga gen 7:

• install sensors (likely)

• install thinkfan

• create config file for driver (or whatever it is):

5nizza

#!/usr/bin/bash

# This script model checks a given AIGER file wrt. TLSF specification:
# @return: 0 on success, non-zero on failure

# Convert TLSF to AIGER monitor:
#   syfco --format smv -m fully example.tlsf | smvtoaig > monitor.aag

# Combine monitor with implementation:
#   combine-aiger monitor.aag implementation.aag > combined.aag