add gitattributes

FAIL_IMPORT requires dwarf_init from libdwarf, but provided version only
defines dwarf_init_b?

.gitignore

@@ -0,0 +1 @@
+/build-*

db.conf

@@ -0,0 +1,5 @@
+[client]
+host=127.0.0.1
+user=fail
+password=fail
+database=fail

fail.just

@@ -0,0 +1,130 @@
+[doc("Trace a golden run using FAIL*")]
+[group("4: fail")]
+trace module:
+    {{ BOCHS_RUNNER }} \
+        -V {{ FAIL_SHARE }}/vgabios.bin \
+        -b {{ FAIL_SHARE }}/BIOS-bochs-latest \
+        -1 \
+        -f {{ FAIL_TRACE }} \
+        -e {{ BUILD_DIR }}-{{ module }}/system.elf \
+        -i {{ BUILD_DIR }}-{{ module }}/system.iso \
+        -- \
+        -Wf,--start-symbol=start_trace \
+        -Wf,--save-symbol=start_trace \
+        -Wf,--end-symbol=stop_trace \
+        -Wf,--state-file={{ BUILD_DIR }}-{{ module }}/state \
+        -Wf,--trace-file={{ BUILD_DIR }}-{{ module }}/trace.pb \
+        -Wf,--elf-file={{ BUILD_DIR }}-{{ module }}/system.elf
+    @echo "Next step: \"just import {{ module }}\""
+
+# [doc("Dump a FAIL* golden run trace")]
+# [group("fail")]
+# dump module:
+#     {{ FAIL_DUMP }} {{ BUILD_DIR }}-{{ module }}/trace.pb
+
+[doc("Import a FAIL* golden run trace")]
+[group("4: fail")]
+import module:
+    {{ FAIL_IMPORT }} --database-option-file ./db.conf -t {{ BUILD_DIR }}-{{ module }}/trace.pb \
+        -i MemoryImporter \
+        -e {{ BUILD_DIR }}-{{ module }}/system.elf -v {{ module }} -b mem
+    {{ FAIL_IMPORT }} --database-option-file ./db.conf -t {{ BUILD_DIR }}-{{ module }}/trace.pb \
+        -i RegisterImporter \
+        -e {{ BUILD_DIR }}-{{ module }}/system.elf -v {{ module }} -b regs --flags
+    {{ FAIL_IMPORT }} --database-option-file ./db.conf -t {{ BUILD_DIR }}-{{ module }}/trace.pb \
+        -i RegisterImporter \
+        -e {{ BUILD_DIR }}-{{ module }}/system.elf -v {{ module }} -b ip --no-gp --ip
+
+    {{ FAIL_IMPORT }} --database-option-file ./db.conf -t {{ BUILD_DIR }}-{{ module }}/trace.pb \
+        -i ElfImporter --objdump objdump \
+        -e {{ BUILD_DIR }}-{{ module }}/system.elf -v {{ module }} -b ip
+    {{ FAIL_IMPORT }} --database-option-file ./db.conf -t {{ BUILD_DIR }}-{{ module }}/trace.pb \
+        -i ElfImporter --objdump objdump \
+        -e {{ BUILD_DIR }}-{{ module }}/system.elf -v {{ module }} -b mem
+    {{ FAIL_IMPORT }} --database-option-file ./db.conf -t {{ BUILD_DIR }}-{{ module }}/trace.pb \
+        -i ElfImporter --objdump objdump \
+        -e {{ BUILD_DIR }}-{{ module }}/system.elf -v {{ module }} -b regs
+
+    # {{ FAIL_IMPORT }} --database-option-file ./db.conf -t {{ BUILD_DIR }}-{{ module }}/trace.pb \
+    #     -i ElfImporter --objdump objdump \
+    #     -e {{ BUILD_DIR }}-{{ module }}/system.elf -v {{ module }} -b ip --sources
+    # {{ FAIL_IMPORT }} --database-option-file ./db.conf -t {{ BUILD_DIR }}-{{ module }}/trace.pb \
+    #     -i ElfImporter --objdump objdump \
+    #     -e {{ BUILD_DIR }}-{{ module }}/system.elf -v {{ module }} -b mem --sources
+    # {{ FAIL_IMPORT }} --database-option-file ./db.conf -t {{ BUILD_DIR }}-{{ module }}/trace.pb \
+    #     -i ElfImporter --objdump objdump \
+    #     -e {{ BUILD_DIR }}-{{ module }}/system.elf -v {{ module }} -b regs --sources
+
+    {{ FAIL_PRUNE }} --database-option-file ./db.conf -v {{ module }} -b %% --overwrite
+    @echo "Next step: \"just server {{ module }}\""
+
+[doc("Start the FAIL* campaign server")]
+[group("4: fail")]
+server module:
+    {{ FAIL_SERVER }} \
+        --port {{FAIL_SERVER_PORT}} \
+        --database-option-file ./db.conf \
+        -v {{ module }} \
+        -b % \
+        --inject-single-bit \
+        --inject-registers \
+        &
+    @echo "Next step: \"just client {{ module }}\""
+
+[doc("Stop the FAIL* campaign server")]
+[group("4: fail")]
+stop-server:
+    pkill -f {{ FAIL_SERVER }}
+
+[doc("Start a FAIL* campaign client")]
+[group("4: fail")]
+client module:
+    {{ BOCHS_RUNNER }} \
+        -V {{ FAIL_SHARE }}/vgabios.bin \
+        -b {{ FAIL_SHARE }}/BIOS-bochs-latest \
+        -f {{ FAIL_INJECT }} \
+        -e {{ BUILD_DIR }}-{{ module }}/system.elf \
+        -i {{ BUILD_DIR }}-{{ module }}/system.iso \
+        -j {{ num_cpus() }} \
+        -- \
+        -Wf,--server-port={{FAIL_SERVER_PORT}} \
+        -Wf,--state-dir={{ BUILD_DIR }}-{{ module }}/state \
+        -Wf,--trap \
+        -Wf,--timeout=500000 \
+        -Wf,--ok-marker=ok_marker \
+        -Wf,--fail-marker=fail_marker \
+        > /dev/null
+    @echo "Next step: \"just result {{ module }}\" or \"just resultbrowser\""
+
+[doc("Query FAIL* marker statistics from the database")]
+[group("4: fail")]
+result module:
+    @echo "select variant, benchmark, resulttype, sum(t.time2 - t.time1 + 1) as faults \
+        FROM variant v \
+        JOIN trace t ON v.id = t.variant_id \
+        JOIN fspgroup g ON g.variant_id = t.variant_id AND g.instr2 = t.instr2 AND g.data_address = t.data_address \
+        JOIN result_GenericExperimentMessage r ON r.pilot_id = g.pilot_id \
+        JOIN fsppilot p ON r.pilot_id = p.id \
+        WHERE v.variant = \"{{ module }}\" \
+        GROUP BY v.id, resulttype \
+        ORDER BY variant, benchmark, resulttype;" | mariadb --defaults-file=./db.conf -t
+
+[doc("Dump FAIL* markers to CSV")]
+[group("4: fail")]
+result-csv module:
+    # INTO OUTFILE '/home/lab/smchurla/out.csv'
+    # FIELDS TERMINATED BY ',' ENCLOSED BY '\"'
+    # LINES TERMINATED BY '\n';"
+    @echo "SELECT CONCAT(\"0x\", HEX(p.injection_instr_absolute)) AS fault_address, SUM(t.time2 - t.time1 + 1) AS total_fail_markers FROM trace t \
+        JOIN variant v ON v.id = t.variant_id \
+        JOIN fspgroup g ON g.variant_id = t.variant_id AND g.instr2 = t.instr2 AND g.data_address = t.data_address \
+        JOIN result_GenericExperimentMessage r ON r.pilot_id = g.pilot_id \
+        JOIN fsppilot p ON p.id = r.pilot_id \
+        WHERE v.variant = \"{{ module }}\" AND r.resulttype = \"FAIL_MARKER\" \
+        GROUP BY p.injection_instr_absolute \
+        ORDER BY SUM(t.time2 - t.time1 + 1) DESC;" | mariadb --defaults-file=./db.conf --batch --raw | sed 's/\t/,/g'
+
+[doc("Start the FAIL* resultbrowser")]
+[group("4: fail")]
+resultbrowser:
+    {{ RESULT_BROWSER }} -c ./db.conf --host=0.0.0.0 --port={{RESULTBROWSER_PORT}}

fail/bin/bochs-experiment-runner.py

@@ -0,0 +1,147 @@
+#!/usr/bin/python3
+
+import os, sys
+from optparse import OptionParser
+from subprocess import *
+from tempfile import mkstemp, mkdtemp
+import shutil
+from distutils.spawn import find_executable
+import os.path
+
+def parseArgs():
+    parser = OptionParser()
+    parser.add_option("-e", "--elf-file", dest="elf_file",
+                      help="elf file to be executed", metavar="ELF")
+    parser.add_option("-i", "--iso-file", dest="iso_file",
+                      help="iso file to be executed", metavar="ISO")
+    parser.add_option("-f", "--fail-client", dest="fail_client",
+                      help="fail-client to be executed", metavar="ISO")
+    parser.add_option("-m", "--memory", dest="memory", default="16",
+                      help="memory for the bochs VM", metavar="SIZE")
+
+    parser.add_option("-b", "--bios", dest="bios", default="/fs/proj/i4ezs/tools/fail-ws21/buildartifacts/BIOS-bochs-latest",
+                      help="bios image for bochs", metavar="BIOS")
+
+    parser.add_option("-V", "--vgabios", dest="vgabios", default="/fs/proj/i4ezs/tools/fail-ws21/buildartifacts/vgabios.bin",
+                      help="vgabios image for bochs", metavar="VGABIOS")
+
+    parser.add_option("-F", "--freq", dest="freq", default="5",
+                      help="frquency in MHZ", metavar="MHZ")
+
+    parser.add_option("-1", "--once",
+                      action="store_false", dest="forever", default=True,
+                      help="fail-client to be executed")
+
+    parser.add_option("-j", "--jobs",
+                      dest="jobs", default="1",
+                      help="parallel execution")
+
+
+    (options, args) = parser.parse_args()
+
+    if not (options.elf_file and options.iso_file and options.fail_client):
+        parser.error("elf, iso and fail-client are required")
+
+    return options, args
+
+def execute(options, args, bochsrc, statedir):
+    failcmd = options.fail_client
+    command = "FAIL_ELF_PATH=%s FAIL_STATEDIR=%s %s -q -f %s %s" % \
+    (options.elf_file, statedir, failcmd, bochsrc, " ".join(args))
+    print("executing: " + command)
+    p = Popen(command, shell=True, stdout=PIPE, stderr=STDOUT)
+    reconnect = 0
+    while p.poll() is None:
+        line = p.stdout.readline()
+        if line is None:
+            break
+        if "Connection refused" in line.decode("utf-8", "ignore"):
+            reconnect += 1
+        print(line),
+        if reconnect > 10:
+            return 1
+    p.wait()
+
+    if reconnect > 0:
+        return 123
+    return p.returncode
+
+def main(options, args):
+    bochsrc_args = {
+        "memory": options.memory,
+        "bios": options.bios,
+        "vgabios": options.vgabios,
+        "iso": options.iso_file,
+        "ips": int(options.freq) * 1000000,
+        }
+
+    bochsrc_text = """
+config_interface: textconfig
+display_library: nogui
+romimage: file="{bios}"
+cpu: count=1, ips={ips}, reset_on_triple_fault=1, ignore_bad_msrs=1, msrs="msrs.def"
+cpuid: mmx=1, sep=1, sse=sse4_2, xapic=1, aes=1, movbe=1, xsave=1, cpuid_limit_winnt=0
+memory: guest={memory}, host={memory}
+vgaromimage: file="{vgabios}"
+vga: extension=vbe
+ata0: enabled=1, ioaddr1=0x1f0, ioaddr2=0x3f0, irq=14
+ata1: enabled=0, ioaddr1=0x170, ioaddr2=0x370, irq=15
+ata2: enabled=0, ioaddr1=0x1e8, ioaddr2=0x3e0, irq=11
+ata3: enabled=0, ioaddr1=0x168, ioaddr2=0x360, irq=9
+ata0-slave: type=cdrom, path="{iso}", status=inserted
+port_e9_hack: enabled=1
+com1: enabled=1, mode=file, dev=serial.out
+boot: cdrom
+clock: sync=none, time0=946681200
+floppy_bootsig_check: disabled=0
+panic: action=fatal
+error: action=fatal
+info: action=ignore
+debug: action=ignore
+pass: action=ignore
+debugger_log: -
+parport1: enabled=0
+vga_update_interval: 300000
+keyboard_serial_delay: 250
+keyboard_paste_delay: 100000
+private_colormap: enabled=0
+i440fxsupport: enabled=0, slot1=pcivga
+""".format(**bochsrc_args)
+
+    bochsrc = mkstemp()
+    fd = os.fdopen(bochsrc[0], "w")
+    fd.write(bochsrc_text)
+    fd.close()
+    bochsrc = bochsrc[1]
+
+    statedir = mkdtemp()
+
+    if options.forever:
+        while True:
+            res = execute(options, args, bochsrc, statedir)
+            if res != 0:
+                break
+
+        ret = 0
+    else:
+        ret = execute(options, args, bochsrc, statedir)
+
+    os.unlink(bochsrc)
+    shutil.rmtree(statedir)
+    sys.exit(ret)
+
+if __name__ == "__main__":
+    (options, args) = parseArgs()
+
+    import threading
+    i = 1
+    # n-1 jobs in threads
+    while i < int(options.jobs):
+        fred = threading.Thread(target = main, args = (options, args))
+        fred.start()
+        print("starting: "+str(i))
+        i = i + 1
+
+    main(options, args)
+
+

fail/bin/resultbrowser.py

@@ -0,0 +1 @@
+./resultbrowser/run.py

fail/bin/resultbrowser/README

@@ -0,0 +1,19 @@
+FAIL* Result Browser
+
+Requirements:
+    * Python
+    * Flask (sudo pip install Flask)
+    * MySQLDB (sudo aptitude install python-mysqldb)
+    * YAML (sudo aptitude install python-yaml)
+
+Based on Flask web microframework (Werkzeug, Jinja 2)
+and old school MySQL bindings.
+
+Connects to a FAIL* result database given by a mysql config file.
+
+Usage:
+    ./run.py
+    Defaults to mysql config file ~/.my.cnf, or
+    ./run.py -c <path to sqlconfig.cnf>
+
+YAML based configuration for table and variant details.

fail/bin/resultbrowser/app/__init__.py

@@ -0,0 +1,4 @@
+from flask import Flask
+
+app = Flask(__name__)
+from app import views

fail/bin/resultbrowser/app/data.py

@@ -0,0 +1,143 @@
+from pprint import pprint
+from . import details
+from . import model
+
+def scrub(table_name):
+    return ''.join( chr for chr in table_name if chr.isalnum() or chr == '_' )
+
+class Resulttype:
+    def __init__(self, name, count):
+        self.name = name
+        self.count = count
+
+    def getName(self):
+        return self.name
+
+    def getCount(self):
+        return self.count
+
+class Variant:
+    def __init__(self, id, name, table, benchmark, detail):
+        self.id = id
+        self.dbname = name
+        self.parenttable = table # TableDetails
+        self.details = detail    # VariantDetails
+        self.benchmark = benchmark # BenchmarkDetails
+        self.results = {}
+        self.totalresults = 0
+
+
+    def getMapper(self):
+        mapper = self.benchmark.getMapper()
+        if not mapper: #try benchmark mapper
+            mapper = self.details.getMapper()
+            if not mapper: # of not there, try parent tables mapper
+                mapper = self.parenttable.getMapper()
+                if not mapper: # no mapper found at all, try default mapper
+                    mapper = model.detaildealer.getDefaultMapper()
+        return mapper
+
+
+    def addResulttype(self, name, count):
+        mapper = self.getMapper()
+        label = mapper.getLabel(name)
+        oldcount = self.results.setdefault(label, 0)
+        self.results[label] = oldcount + count
+        self.totalresults += count
+
+    def getResultLabels(self):
+        return self.results.keys()
+
+    def getDBName(self):
+        return str(self.name)
+
+    def getId(self):
+        return self.id
+
+    def getResults(self):
+        return self.results
+
+    def getTableDetails(self):
+        return self.parenttable
+
+    def getBenchmarkDetails(self):
+        return self.benchmark
+
+    def getDetails(self):
+        return self.details
+
+    def getTotals(self):
+        return self.totalresults
+
+    def __str__(self):
+        ret = "Variant: " + self.getDetails().getTitle() + " - " + self.getBenchmarkDetails().getTitle() +" (id: " + str( self.id )+ ")" + " "
+        ret += "Total Results: " + str( self.totalresults ) + "\n"
+        for v in self.results:
+            ret += "\t" + v.name + ": " + str( v.count ) + "\n"
+        return ret
+
+    __repr__ = __str__
+
+'''A ResultTable contains n Variants'''
+class ResultTable:
+
+    def __init__(self, name, cfg):
+        self.name = scrub(name)
+        self.details = cfg.getTable(name)
+        self.variants = {}
+
+    def addVariant(self, var):
+        if var.getId() in self.variants:
+            return
+        self.variants[var.getId()] = var # Add if not existing yet
+
+    def getVariant(self, id):
+        if id in self.variants:
+            return self.variants[id]
+        return None
+
+    def getVariantById(self, varid):
+        for k,v in self.variants.items():
+            if int(v.getId()) == int(varid):
+                return v
+        return None
+
+    def getDetails(self):
+        return self.details
+
+    def getVariants(self):
+        return self.variants
+
+    def __str__(self):
+        ret = "Result: " + self.getDetails().getTitle() + "\n"
+        for k,v in self.variants.items():
+            ret += "\t" + str(v) + "\n"
+        return ret
+    __repr__ = __str__
+
+'''Overview has n ResultTables'''
+class Overview:
+    def __init__(self):
+        self.tables = {}
+
+    def add(self, table):
+        self.tables[table.getDetails().getDBName()] = table
+
+    def getTables(self):
+        return self.tables
+
+    def getTable(self, dbname):
+        return self.tables.get(dbname, None)
+
+    def getVariantById(self, variant_id):
+        for key,table in self.tables.items():
+            variant = table.getVariantById(variant_id)
+            if variant:
+                return variant
+        print("Variant not found.")
+        return None
+
+    def length(self):
+        return len(self.tables)
+
+

fail/bin/resultbrowser/app/details.py

@@ -0,0 +1,216 @@
+
+class BasicDetails(object):
+
+    def __init__(self,name):
+        self.dbname = name
+        self.title = name
+        self.details = ''
+        self.mapper = None
+
+    def getDBName(self):
+        return self.dbname
+
+    def getDetails(self):
+        return self.details
+
+    def setDetails(self,det):
+        self.details = det
+
+    def getTitle(self):
+        return self.title
+
+    def addMapper(self, mapper):
+        self.mapper = mapper
+
+    def getMapper(self):
+        return self.mapper
+
+    def extractDetails(self, dictionary):
+        self.details = dictionary.pop(('details'), '')
+        self.title = dictionary.pop(('title'), self.dbname)
+        custommapping = dictionary.pop(('mapping'), None)
+        if custommapping:
+            self.mapper = ResulttypeMapper()
+            self.mapper.add(custommapping)
+        else:
+            self.mapper = None
+
+
+    def __repr__(self):
+        return self.getTitle() + ": " + self.getDetails()
+
+
+    __str__ = __repr__
+
+
+
+class BenchmarkDetails(BasicDetails):
+
+    def __init__(self, dbname):
+        BasicDetails.__init__(self, dbname)
+
+    def __repr__(self):
+        return "Benchmark: " + BasicDetails.__repr__(self)
+
+    __str__ = __repr__
+
+
+
+class VariantDetails(BasicDetails):
+
+    def __init__(self, dbname):
+        BasicDetails.__init__(self, dbname)
+        self.benchmarks = {}
+
+    def addBenchmark(self, bm):
+        self.benchmarks[bm.getDBName()] = bm
+
+    def getBenchmark(self, dbbm):
+        return self.benchmarks.get(dbbm, BenchmarkDetails(dbbm))
+
+    def __repr__(self):
+        ret = "Variant: " + BasicDetails.__repr__(self)
+        for v in self.benchmarks.values():
+            ret += "\n\t\t" + str(v)
+        return ret
+
+
+    __str__ = __repr__
+
+class TableDetails(BasicDetails):
+
+    def __init__(self, tbl):
+        BasicDetails.__init__(self, tbl)
+        self.variants = {}
+
+    def addVariant(self, var):
+        self.variants[var.getDBName()] = var
+
+    def getVariant(self, varname):
+        return self.variants.get(varname, VariantDetails(varname))
+
+    def __repr__(self):
+        ret = "Table: " +  BasicDetails.__repr__(self) + "(" + self.getDBName() + ")"
+        for v in self.variants.values():
+            ret += "\n\t" + str(v)
+        return ret
+
+    __str__ = __repr__
+
+from pprint import pprint
+
+
+class ResulttypeMapper(object):
+
+    def __init__(self):
+        self.mappings = {}
+
+    def add(self, mapping):
+        for label, dbnamelist in mapping.items():
+            self.mappings[label] = dbnamelist
+
+    def getLabel(self, dbname):
+        for label, dbnamelist in self.mappings.items():
+            if dbname in dbnamelist:
+                return label
+        return dbname
+
+    def getLabelList(self):
+        return self.mappings.keys()
+
+    def getDBNames(self, label):
+        return self.mappings.get(label, None)
+
+    def __repr__(self):
+        ret = "Resulttype Mapper:"
+        for label,dbnames in self.mappings.items():
+            ret +=  "\n\t" + label
+            for db in dbnames:
+                ret += "\n\t\t" + db
+        return ret
+
+    __str__ = __repr__
+
+import yaml
+class DetailDealer:
+
+    def __init__(self, configfile=None):
+        self.tables = {}
+        self.defaultMapper = ResulttypeMapper()
+
+        if not configfile:
+            return
+        self.reload(configfile)
+
+        if not self.tables:
+            print("DetailDealer: no details found for " + configfile)
+
+    def reload(self, configfile):
+        self.tables = {}
+        self.defaultMapper = ResulttypeMapper()
+        if not configfile:
+            return # no details.
+        f = open(configfile)
+        # use safe_load instead load
+        cfg = yaml.safe_load(f)
+        f.close()
+        # Read out default mapping, if existent
+        self.extractDefaults(cfg)
+        tables = cfg.pop('tables', None)
+        if tables:
+            for tablename,details in tables.items():
+                tab = TableDetails(tablename)
+                # pop: return and remove when key present, else return 'notfound'
+                tab.extractDetails(details)
+                variants = details.pop('variants')
+                for variantname, vdetails in variants.items():
+                    var = VariantDetails(variantname)
+                    var.extractDetails(vdetails)
+                    benchmarks = vdetails.pop('benchmarks')
+                    for benchmark, bdetails in benchmarks.items():
+                        bm = BenchmarkDetails(benchmark)
+                        bm.extractDetails(bdetails)
+                        var.addBenchmark(bm)
+                    tab.addVariant(var)
+                self.tables[tab.getDBName()] = (tab)
+
+
+    def extractDefaults(self, cfg):
+        defs = cfg.pop('defaults', None)
+        if defs:
+            defmap = defs.pop('mapping', None)
+            if defmap:
+                self.defaultMapper.add(defmap)
+
+    def getDefaultMapper(self):
+        return self.defaultMapper
+
+    def getTable(self, tablename):
+        tab = self.tables.get(tablename, None)
+        if tab:
+            return tab
+        return TableDetails(tablename)
+
+    def getVariant(self, tablename, variantname):
+        tab = self.getTable(tablename)
+        if tab:
+            return tab.getVariant(variantname)
+        return VariantDetails(variantname) # Default
+
+    def getBenchmark(self, table, variant, bechmark):
+        tab = self.getTable(table)
+        if tab:
+            var = tab.getVariant(variant)
+            if var:
+                return var.getBenchmark(bechmark)
+        return BenchmarkDetails(benchmark) # Default
+
+    def __repr__(self):
+        ret = str(self.defaultMapper) + '\n'
+        for tabledetails in self.tables.values():
+            ret += str(tabledetails) + '\n'
+        return ret
+
+if __name__ == "__main__":
+    dd = DetailDealer('./test.yml')
+    pprint(dd)

fail/bin/resultbrowser/app/model.py

@@ -0,0 +1,211 @@
+#!/usr/bin/env python
+import MySQLdb
+import MySQLdb.cursors
+import yaml
+
+import sys
+import os.path
+
+from pprint import pprint
+from . import data
+from . import details
+
+"""Get command line options"""
+from optparse import OptionParser
+parser = OptionParser()
+parser.add_option("-c", "--conf", type="string", help="MySQL config file", dest="config", default= os.path.join(os.path.expanduser("~"),".my.cnf"))
+parser.add_option("-s", "--host", type="string", help="Webserver hostname", dest="host", default="localhost")
+parser.add_option("-d", "--details", type="string", help="Detailed information (YAML configuration file)", dest="details", default=None)
+parser.add_option("-p", "--port", type="string", help="Webserver port", dest="port", default="5000")
+opts, args = parser.parse_args()
+
+"""Check if configuration files exist"""
+def checkConfigFile(msg, fname):
+    if not os.path.isfile(fname):
+        sys.exit("Error: '" + fname + "' not found")
+    else:
+        print(msg, "->", fname)
+
+# Check sql config
+sqlconfig = opts.config
+checkConfigFile("MySQL config", sqlconfig)
+
+# Check details file
+if opts.details:
+    checkConfigFile("Details", opts.details)
+
+# Instantiate global detail dealer, will be initialized in reloadOverview
+detaildealer = details.DetailDealer()
+
+
+"""Remove all characters from string except alphanuermics and _"""
+def scrub(table_name):
+    return ''.join( chr for chr in table_name if chr.isalnum() or chr == '_' )
+
+"""Global mysql handles"""
+db = None
+cur = None
+def loadSession(dbconf):
+    global db
+    if db:
+        db.close()
+    db = MySQLdb.connect(read_default_file=dbconf, cursorclass=MySQLdb.cursors.DictCursor)
+    return db.cursor()
+
+
+def closeSession():
+    if cur: cur.close()
+    global db
+    db.close()
+    db = None
+
+
+'''Populate variant results for overview data'''
+def getVariants(cur, table):
+    restbl = table.getDetails().getDBName()
+    cur.execute("""SELECT sum((t.time2 - t.time1 + 1) * width) AS total, resulttype,variant, v.id as variant_id, benchmark, details FROM variant v JOIN trace t ON v.id = t.variant_id JOIN fspgroup g ON g.variant_id = t.variant_id AND g.instr2 = t.instr2 AND g.data_address = t.data_address JOIN %s r ON r.pilot_id = g.pilot_id  JOIN fsppilot p ON r.pilot_id = p.id GROUP BY v.id, resulttype, details""" % (restbl)) # % is used here, as a tablename must not be quoted
+    res = cur.fetchall()
+    rdic = {}
+    # Build dict with variant id as key
+    for r in res:
+        # if variant entry already exists:
+        variant = table.getVariant(int(r['variant_id']))
+        if not variant: # if variant did not exist yet, create it:
+            variant_details = detaildealer.getVariant(restbl, r['variant'])
+            benchmark_details = detaildealer.getBenchmark(restbl, r['variant'], r['benchmark'])
+            table_details = detaildealer.getTable(restbl)
+            variant = data.Variant(int(r['variant_id']), r['variant'], table_details, benchmark_details, variant_details)
+        variant.addResulttype(r['resulttype'], r['total'])
+        table.addVariant(variant)
+
+'''Get overview data for index page'''
+def reloadOverview():
+    overview = data.Overview()
+    detaildealer.reload(opts.details)
+    cur = loadSession(sqlconfig)
+    cur.execute("show tables like 'result_%'")
+    result_tables = cur.fetchall()
+    results = {}
+    for rdic in result_tables:
+        # r is the tablename, -> result_FOOBAR
+        for key, tablename in rdic.items():
+            table = data.ResultTable(tablename,detaildealer)
+            getVariants(cur, table)
+            overview.add(table)
+    # Check if objdump table exists
+    cur.execute("SHOW TABLES like 'objdump'")
+    objdump_exists = (len(cur.fetchall()) == 1)
+    closeSession()
+    return overview, objdump_exists
+
+"""Load overview data at server startup"""
+print("Loading overview data from database. This may take a while ...")
+overview_data, objdump_exists = reloadOverview()
+print("done.")
+## Get overview data for views.index()
+def getOverview():
+    return overview_data
+
+def objdumpExists():
+    return objdump_exists
+
+
+"""Get Results for one variant id"""
+def getVariantResult(table, variantid):
+    cur = loadSession(sqlconfig)
+    restbl = scrub(table)
+
+    stmt = "SELECT resulttype, count(*) as total from %s r join fsppilot on r.pilot_id=fsppilot.id join variant on fsppilot.variant_id=variant.id" %  (restbl)
+    where = " WHERE variant.id = %s group by resulttype ORDER BY resulttype "
+    stmt = stmt + where
+    cur.execute(stmt, variantid)
+    res = cur.fetchall()
+    closeSession()
+    return res
+
+'''Show objdump together with according injection result types.'''
+def getCode(result_table, variant_id, resultlabel=None):
+    result_table = scrub(result_table)
+    filt = ''
+    if not variant_id or not result_table:
+        return None
+    variant = overview_data.getVariantById(variant_id)
+    mapper = variant.getMapper()
+    if resultlabel:
+        dbnames = mapper.getDBNames(resultlabel)
+        if dbnames:
+            filt = " and ( "
+            for dbn in dbnames[:-1]:
+                filt += "resulttype = '" + dbn + "' OR "
+            filt += "resulttype = '" + dbnames[-1] +"' ) "
+        else:
+            filt = " and resulttype = '" + resultlabel + "' "
+
+    # I especially like this one:
+    select = "SELECT instr_address, opcode, disassemble, comment, sum(t.time2 - t.time1 + 1) as totals,  GROUP_CONCAT(DISTINCT resulttype SEPARATOR ', ') as results FROM variant v "
+    join   = "   JOIN trace t ON v.id = t.variant_id  JOIN fspgroup g ON g.variant_id = t.variant_id AND g.instr2 = t.instr2 AND g.data_address = t.data_address      JOIN %s r ON r.pilot_id = g.pilot_id  JOIN fsppilot p ON r.pilot_id = p.id JOIN objdump ON objdump.variant_id = v.id AND objdump.instr_address = injection_instr_absolute " %(scrub(result_table))
+    where  = "WHERE v.id = %s "
+    group  = "GROUP BY injection_instr_absolute ORDER BY totals DESC "
+
+    cur = loadSession(sqlconfig)
+    stmt = select + join + where + filt + group
+    cur.execute(stmt, (variant_id))
+    dump = cur.fetchall()
+
+    closeSession()
+    resulttypes =  variant.getResultLabels()
+    return dump, resulttypes
+
+def getCodeExcerpt(variant_id, instr_addr):
+    code = {}
+    limit = 8
+    cur = loadSession(sqlconfig)
+    cur.execute( """(SELECT instr_address, opcode, disassemble, comment FROM objdump \
+            WHERE instr_address < %s AND variant_id = %s \
+            ORDER BY instr_address DESC LIMIT %s) \
+            ORDER BY instr_address ASC""" , (instr_addr, variant_id, limit))
+    below = cur.fetchall()
+    code['below'] = below
+    cur.execute("""SELECT instr_address, opcode, disassemble, comment FROM objdump \
+            WHERE instr_address >= %s AND variant_id = %s \
+            ORDER BY instr_address ASC LIMIT %s""", (instr_addr, variant_id, limit+1))
+    upper = cur.fetchall()
+    code['upper'] = upper
+    closeSession()
+    return code
+
+def getResultsbyInstruction(result_table, variant_id, instr_addr, resultlabel=None):
+    restypefilter = None
+    if resultlabel:
+        variant = overview_data.getVariantById(variant_id)
+        mapper = variant.getMapper()
+        if resultlabel:
+            dbnames = mapper.getDBNames(resultlabel)
+            if dbnames:
+                restypefilter = " and ( "
+                for dbn in dbnames[:-1]:
+                    restypefilter += "resulttype = '" + dbn + "' OR "
+                restypefilter += "resulttype = '" + dbnames[-1] +"' ) "
+
+    select = "SELECT bitoffset as 'Bit Offset', hex(injection_instr_absolute) as 'Instruction Address', hex(original_value) as 'Original Value', hex(data_address) as 'Data Address', resulttype as 'Result Type', details as 'Details' from %s " % scrub(result_table)
+    join   = "JOIN fsppilot ON pilot_id = fsppilot.id "
+    where  = "WHERE variant_id = %s and injection_instr_absolute = %s "
+    order  = "ORDER BY data_address, bitoffset"
+
+    cur = loadSession(sqlconfig)
+    if not restypefilter:
+        stmt = select + join + where + order
+        cur.execute(stmt, (variant_id, instr_addr))
+    else:
+        stmt = select + join + where + restypefilter + order
+        cur.execute(stmt, (variant_id, instr_addr))
+
+    res = cur.fetchall()
+    closeSession()
+    return res
+
+def showDBstatus():
+    res = "TODO"
+    return res
+
+

fail/bin/resultbrowser/app/static/css/barchart.css

@@ -0,0 +1,5 @@
+dl.horizontal {font-size:12px;  width:850px;}
+dl.horizontal dt {float:left; width:300px; clear:both; margin:0 0 5px 0; padding:3px;}
+dl.horizontal dd {float:left; width:500px; border:1px solid #aaaaaa; margin:0 0 5px 0; padding:2px; -moz-box-shadow: 1px  1px 3px #aaaaaa;}
+dl.horizontal dd span {background:#91b4e6; display:block; color:black; text-indent:4px;}
+

fail/bin/resultbrowser/app/static/css/main.css

@@ -0,0 +1,214 @@
+
+body {
+  margin: 0;
+  padding: 0;
+  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
+  color: #444;
+}
+
+a:visited {
+    color : #444;
+}
+
+a:link {
+    color : #444;
+    text-decoration: none;
+}
+/*
+ * Create dark grey header with a white logo
+ */
+
+header {
+  background-color: #2B2B2B;
+  height: 30px;
+  width: 100%;
+  opacity: .9;
+  margin-bottom: 10px;
+}
+
+header h1.logo {
+  margin: 0;
+  font-size: 1.5em;
+  color: #fff;
+  text-transform: uppercase;
+  float: left;
+}
+
+header h1.logo:hover {
+  color: #fff;
+  text-decoration: none;
+}
+
+
+/*
+ * Center the body content
+ */
+
+.container {
+  width: 95%;
+  margin: 0 auto;
+}
+
+div.jumbo {
+  padding: 10px 0 30px 0;
+  background-color: #eeeeee;
+  -webkit-border-radius: 6px;
+     -moz-border-radius: 6px;
+          border-radius: 6px;
+}
+
+h2 {
+  font-size: 1.2em;
+  margin-top: 40px;
+  text-align: center;
+  letter-spacing: -1px;
+}
+
+h3 {
+  font-size: 1.0em;
+  font-weight: 100;
+  margin-top: 30px;
+  text-align: center;
+  /*letter-spacing: -1px;*/
+  color: #999;
+}
+
+
+#footer {
+    text-align: center;
+    color: #444;
+    font-size:10pt;
+}
+
+/*
+ * Table styles
+ */
+
+.codetable, .resulttable, .overviewtable{
+    font-family: monospace; 
+    margin: auto;
+}
+
+.overviewtable {
+   border: 1px gray solid;
+    margin: auto;
+}
+/*
+.overviewtable tr:nth-child(4n), .overviewtable tr:nth-child(4n-1) {
+     background: #fff;
+}
+.overviewtable tr:nth-child(4n-2), .overviewtable tr:nth-child(4n-3) {
+    background: #e8ffb3;
+}
+*/
+
+.resulttable, .codetable, .overviewtable{
+    margin: auto;
+    border: solid #ccc 1px;
+    -moz-border-radius: 6px;
+    -webkit-border-radius: 6px;
+    border-radius: 6px;
+    -webkit-box-shadow: 0 1px 1px #ccc;
+    -moz-box-shadow: 0 1px 1px #ccc;
+    box-shadow: 0 1px 1px #ccc;
+}
+
+.codetable tr:hover, .resulttable tr:hover {
+    background: #fbf8e9;
+/*    -o-transition: all 0.1s ease-in-out;
+    -webkit-transition: all 0.1s ease-in-out;
+    -moz-transition: all 0.1s ease-in-out;
+    -ms-transition: all 0.1s ease-in-out;
+    transition: all 0.1s ease-in-out;
+*/
+}
+
+.resulttable td, .resulttable th, .codetable td, .codetable th {
+    border-left: none;
+    border-top: none;
+    padding: 2px;
+    text-align: left;
+    display: table-cell;
+}
+
+.codetable td a {
+    text-decoration: none;
+    display: block;
+    padding: 0px;
+    height: 100%;
+}
+
+.resulttable th, .codetable th, .overviewtable th {
+    background-color: #dce9f9;
+    background-image: -webkit-gradient(linear, left top, left bottom, from(#efe), to(#91b4e6));
+    background-image: -webkit-linear-gradient(top, #efe, #91b4e6);
+    background-image:    -moz-linear-gradient(top, #efe, #91b4e6);
+    background-image:     -ms-linear-gradient(top, #efe, #91b4e6);
+    background-image:      -o-linear-gradient(top, #efe, #91b4e6);
+    background-image:         linear-gradient(top, #efe, #91b4e6);
+    -webkit-box-shadow: 0 1px 0 rgba(255,255,255,.8) inset;
+    -moz-box-shadow:0 1px 0 rgba(255,255,255,.8) inset;
+    box-shadow: 0 1px 0 rgba(255,255,255,.8) inset;
+    border-top: none;
+    text-shadow: 0 1px 0 rgba(255,255,255,.5);
+}
+
+.resulttable td:first-child, .resulttable th:first-child, .codetable td:first-child, .codetable th:first-child {
+    border-left: none;
+}
+
+.resulttable th:first-child, .codetable th:first-child {
+    -moz-border-radius: 6px 0 0 0;
+    -webkit-border-radius: 6px 0 0 0;
+    border-radius: 6px 0 0 0;
+}
+
+.resulttable th:last-child, .codetable th:last-child {
+    -moz-border-radius: 0 6px 0 0;
+    -webkit-border-radius: 0 6px 0 0;
+    border-radius: 0 6px 0 0;
+}
+
+.resulttable th:only-child, .codetable th:only-child{
+    -moz-border-radius: 6px 6px 0 0;
+    -webkit-border-radius: 6px 6px 0 0;
+    border-radius: 6px 6px 0 0;
+}
+
+.resulttable tr:last-child td:first-child, .codetable tr:last-child td:first-child {
+    -moz-border-radius: 0 0 0 6px;
+    -webkit-border-radius: 0 0 0 6px;
+    border-radius: 0 0 0 6px;
+}
+
+.resulttable tr:last-child td:last-child, .codetable tr:last-child td:last-child {
+    -moz-border-radius: 0 0 6px 0;
+    -webkit-border-radius: 0 0 6px 0;
+    border-radius: 0 0 6px 0;
+}
+
+.resulttypemenu {
+    text-align: center;
+    font-size: 12px
+}
+/*
+ * Display navigation links inline
+ */
+
+.menu {
+  float: right;
+  margin-top: 8px;
+}
+
+.menu li {
+  display: inline;
+}
+
+.menu li + li {
+  margin-left: 35px;
+}
+
+.menu li a {
+  color: #999;
+  text-decoration: none;
+}

fail/bin/resultbrowser/app/templates/about.html

@@ -0,0 +1,11 @@
+{% extends "layout.html" %}
+
+{% block content %}
+
+{% if status %}
+<h2>About</h2>
+{{ status }}
+{% else %}
+	<h2> Sorry, no status information.</h2>
+{% endif %}
+{% endblock %}

fail/bin/resultbrowser/app/templates/code.html

@@ -0,0 +1,50 @@
+{% extends "layout.html" %}
+
+{% block content %}
+
+<h1>Variant Results</h1>
+
+{% if resulttypes %}
+    <table>
+        <tr><td>Result Table</td><td><b>{{ variant_details.getTableDetails().getTitle() }}</b><td></tr>
+        <tr><td>Variant </td><td><b>{{ variant_details.getDetails().getTitle() }}</b></td></tr>
+        <tr><td>Details </td><td><b>{{ variant_details.getDetails().getDetails()   }}</b></td></tr>
+        <tr><td>Benchmark </td><td><b>{{ variant_details.getBenchmarkDetails().getTitle() }}</b></td></tr>
+        <tr><td>Details </td><td><b>{{ variant_details.getBenchmarkDetails().getDetails()   }}</b></td></tr>
+        <tr><td>Result Count </td><td><b>{{ results|length }}</b></td></tr>
+    </table>
+    <hr>
+    <p class='resulttypemenu'>| <a href="{{ url_for('code', variant_id=request.args.get('variant_id'), table=request.args.get('table')) }}">All Results</a> |
+    {% for restype in resulttypes %}
+        <a href="{{ url_for('code', variant_id=request.args.get('variant_id'), table=request.args.get('table'), resulttype=restype )}}">{{ restype}}</a> |
+    {% endfor %}
+    </p>
+    <hr>
+    <table class="codetable">
+        <tr>
+            <th>Address</th>
+            <th>Opcode</th>
+            <th>Disassembly</th>
+            <th>Comment</th>
+            <th>Results</th>
+            <th># Results</th>
+        </tr>
+        {% for d in results %}
+        {% set link =  url_for('instr_details', table=request.args.get('table'), variant_id=request.args.get('variant_id'), benchmark=request.args.get('benchmark'), variant=request.args.get('variant'), resulttype=request.args.get('resulttype'), instr_address=d['instr_address'] ) %}
+        <tr>
+            <td><a href="{{ link }}">{{ "0x%x"|format(d['instr_address'])  }}</a></td>
+            <td><a href="{{ link }}">{{ d['opcode']  }}</a></td>
+            <td><a href="{{ link }}">{{ d['disassemble']  }}</a></td>
+            <td><a href="{{ link }}">{{ d['comment']  }}</a></td>
+            <td><a href="{{ link }}">{{ d['results']  }}</a></td>
+            <td><a href="{{ link }}">{{ d['totals']  }}</a></td>
+        </tr>
+        {% endfor %}
+    </table>
+{% else %}
+    <h1> Sorry, no dump found.</h1>
+{% endif %}
+
+{%endblock %}
+
+

fail/bin/resultbrowser/app/templates/index.html

@@ -0,0 +1,55 @@
+{% extends "layout.html" %}
+
+{% block content %}
+{%if overview %}
+    {% for tablekey, resulttable in overview.getTables().items()  %}
+    <h2>Result table: {{ resulttable.getDetails().getTitle() }}</h2>
+    -> <a href="{{ url_for('index', reload=1) }}">Reload data</a> <-
+    <dl>
+        <dt>Details:</td>
+        <dd>
+        {{ resulttable.getDetails().getDetails()  }}
+        <dd>
+    </dl>
+    {% if not objdump_there %}
+        No objdump found
+    {% endif %}
+    <table class="overviewtable" cellspacing="0px">
+        {% for varid, variant in resulttable.getVariants().items() %}
+        <tr><th>
+                {% set variant_title=variant.getDetails().getTitle() ~ " - " ~ variant.getBenchmarkDetails().getTitle() ~ " id: " ~ variant.getId() %}
+                {% if objdump_there %}
+                <a href="{{ url_for('code',table=resulttable.getDetails().getDBName(), variant_id=variant.getId() ) }}">{{ variant_title }}</a>
+                {% else %}
+                {{ variant_title }}
+                {% endif %}
+                (Total: {{ variant.getTotals() }})</a>
+        </th></tr>
+        <tr><td>
+                {% if variant.getDetails().getDetails() %}
+                Variant Details: {{ variant.getDetails().getDetails() }}
+                {% endif %}
+                {% if variant.getBenchmarkDetails().getDetails() %}
+                <br> Benchmark Details: {{ variant.getBenchmarkDetails().getDetails() }}</td></tr>
+                {% endif %}
+        <tr><td>
+            <dl class="horizontal">
+                {% for reslabel,count in variant.getResults().items() %}
+                <dt>
+                {% if objdump_there %}
+                <a href="{{ url_for('code', table=resulttable.getDetails().getDBName(), variant_id=variant.getId(), resulttype=reslabel ) }}">{{ reslabel }}</a>
+                {% else %}
+                {{ reslabel }}
+                {% endif %}
+                </dt>
+                    <dd><span style="width:{{count * 100 / variant.getTotals() }}%;">{{count}}</span></dd>
+                {% endfor %}
+            </dl></td></tr>
+        {% endfor %}
+    </table>
+    {% endfor %}
+{% else %}
+<h2> Sorry, no results found.</h2>
+{% endif %}
+
+{% endblock %}

fail/bin/resultbrowser/app/templates/instr_details.html

@@ -0,0 +1,65 @@
+{% extends "layout.html" %}
+
+{% block content %}
+{% if code %}
+<h1>Result by Instruction</h1>
+<table>
+        <tr><td>Result Table</td><td><b>{{ variant_details.getTableDetails().getTitle() }}</b><td></tr>
+        <tr><td>Variant </td><td><b>{{ variant_details.getDetails().getTitle() }}</b></td></tr>
+        <tr><td>Benchmark </td><td><b>{{ variant_details.getBenchmarkDetails().getTitle() }}</b></td></tr>
+        <tr><td>Details </td><td><b>{{ variant_details.getDetails().getDetails()   }}</b></td></tr>
+     <tr><td>Instruction Address </td><td><b>{{ "0x%x (Dec: %d)"|format(request.args.get('instr_address')|int, request.args.get('instr_address')|int) }}</b></td></tr>
+    <tr><td>Total Results</td><td><b>{{ result|length }}</b></td></tr>
+</table>
+<hr>
+<h2>Code</h2>
+<table class="codetable">
+    <tr>
+        <th>Address</th>
+        <th>Opcode</th>
+        <th>Disassembly</th>
+        <th>Comment</th>
+    </tr>
+    {% for d in code['below'] %}
+    <tr>
+        <td>{{ "0x%x"|format(d['instr_address'])  }}</td>
+        <td>{{ d['opcode']  }}</td>
+        <td>{{ d['disassemble']  }}</td>
+        <td>{{ d['comment']  }}</td>
+    </tr>
+    {% endfor %}
+    <tr style="font-weight: bold">
+        <td>{{ "0x%x"|format(code['upper'][0]['instr_address'])  }}</td>
+        <td>{{ code['upper'][0]['opcode']  }}</td>
+        <td>{{ code['upper'][0]['disassemble']  }}</td>
+        <td>{{ code['upper'][0]['comment']  }}</td>
+    </tr>
+    {% for d in code['upper'][1:] %}
+    <tr>
+        <td>{{ "0x%x"|format(d['instr_address'])  }}</td>
+        <td>{{ d['opcode']  }}</td>
+        <td>{{ d['disassemble']  }}</td>
+        <td>{{ d['comment']  }}</td>
+    </tr>
+    {% endfor %}</table>
+<hr>
+<h2>Results ({{ result|length }})</h2>
+<table class="resulttable">
+    <tr>
+     {% for key, value in result[0].items() -%}
+     <th>{{ key }}</th>
+     {% endfor -%}
+     </tr>
+     {% for r in result -%}
+     <tr>
+         {% for k,v in r.items() -%}
+         <td>{{ v }}</td>
+         {% endfor -%}
+     </tr>
+     {% endfor -%}
+    </tr>
+</table>
+{% else %}
+	<h2> Sorry, no details found.</h2>
+{% endif %}
+{% endblock %}

fail/bin/resultbrowser/app/templates/layout.html

@@ -0,0 +1,32 @@
+<!DOCTYPE html>
+<html>
+  <head>
+    <title>FAIL* Results</title>
+    <strong><link rel="stylesheet" href="{{ url_for('static', filename='css/main.css') }}"></strong>
+    <strong><link rel="stylesheet" href="{{ url_for('static', filename='css/barchart.css') }}"></strong>
+  </head>
+  <body>
+
+    <header>
+      <div class="container">
+        <h1 class="logo">FAIL*</h1>
+     <strong><nav>
+      <ul class="menu">
+        <li><a href="{{ url_for('index') }}">Home</a></li>
+        <li><a href="{{ url_for('about') }}">About</a></li>
+      </ul>
+    </nav></strong>
+      </div>
+    </header>
+
+    <div class="container">
+      {% block content %}
+      {% endblock %}
+    </div>
+
+    <hr>
+    <div id="footer">
+    &copy; FAIL* - Fault Injection Leveraged
+    </div>
+  </body>
+</html>

fail/bin/resultbrowser/app/views.py

@@ -0,0 +1,42 @@
+from flask import render_template,request
+from app import app
+
+# import model
+# import data
+
+from . import model
+from . import data
+
+@app.route('/')
+@app.route('/index')
+def index():
+    reload_overview = request.args.get('reload', False)
+    if reload_overview:
+        print("Reloading overview...")
+        model.reloadOverview()
+    return render_template("index.html", overview=model.getOverview(), objdump_there = model.objdumpExists())
+
+@app.route('/code')
+def code():
+    variant_id = request.args.get('variant_id', None)
+    resulttype = request.args.get('resulttype', None)
+    table = request.args.get('table', None)
+    res,restypes =  model.getCode(table, variant_id, resulttype)
+    var_dets = model.getOverview().getVariantById(variant_id)
+    return render_template("code.html", results=res, resulttypes=restypes, variant_details=var_dets )
+
+@app.route('/instr_details')
+def instr_details():
+    table = request.args.get('table', None)
+    variant_id = request.args.get('variant_id', None)
+    instr_addr = request.args.get('instr_address', None)
+    resulttype = request.args.get('resulttype', None)
+    codeexcerpt = model.getCodeExcerpt(variant_id, instr_addr)
+    var_dets = model.getOverview().getVariantById(variant_id)
+    results = model.getResultsbyInstruction(table, variant_id, instr_addr, resulttype)
+    return render_template("instr_details.html", code=codeexcerpt, result=results, variant_details=var_dets)
+
+@app.route('/about')
+def about():
+    stat = model.showDBstatus()
+    return render_template("about.html", status=stat)

fail/bin/resultbrowser/conf.yml

@@ -0,0 +1,69 @@
+# YAML-based: http://yaml.org/
+# Online parser for testing: http://yaml-online-parser.appspot.com/
+# Some notes:
+#  YAML is case-sensitive and structured by indention!
+#
+# The 'defaults' section describes an *optional* default result type mapping for all tables.
+# The 'tables' section describes result tables in more detail.
+#   A table consists of variants, each variant of benchmarks.
+#   Each of these configuration items
+#    title: Table title
+#    details: Some textual description
+#    mapping: A distinct mapping, if not set, the parent item's mapping is used
+
+defaults:
+ mapping:
+  Everything OK:
+   - OK
+   - OK_DETECTED_ERROR
+   - OK_WRONG_CONTROL_FLOW
+  Outside Data Section:
+   - ERR_OUTSIDE_DATA
+  Hardware Trap:
+   - ERR_OUTSIDE_TEXT
+   - ERR_TRAP
+  Silent Data Corruption:
+   - ERR_WRONG_RESULT
+
+tables:
+ result_CoredVoterProtoMsg:
+  title: CoRed Voter Experiment Results
+  variants:
+   x86_cored_voter:
+    title: x86 CoRed Voter Experiment
+    details: Some interesting details about the experiment.
+
+    benchmarks:
+      ean-random-4:
+       title: Random 4 bit injections
+       details: |
+         The details can also written this way.
+         The pipe insert the newlines. Cool, isn't it?
+
+      ean-random-5:
+       title: Random 5 bit injections
+       details: Details about 5 bit random injection benchmark.
+       mapping:
+        Alright:
+         - OK
+         - OK_DETECTED_ERROR
+         - OK_WRONG_CONTROL_FLOW
+        Not Alright:
+         - ERR_OUTSIDE_DATA
+         - ERR_OUTSIDE_TEXT
+         - ERR_TRAP
+         - ERR_WRONG_RESULT
+        Timeout:
+         - ERR_TIMEOUT
+   # Another variant within result_CoredVoterProtoMsg
+   x86_cored_voter2:
+     title: variant title
+     details: variant details
+     benchmarks:
+       ean-random-2:
+        title: benchmarktitle
+        details: some benchmark details
+
+       ean-random-3:
+        title: benchmark random 3
+        details: some benchmark 3 details

fail/bin/resultbrowser/run.py

@@ -0,0 +1,5 @@
+#!/usr/bin/env python
+from app import app
+from app import model
+
+app.run(debug=False, port=int(model.opts.port), host=model.opts.host)

flake.nix

@@ -22,7 +22,19 @@ rec {
         overlays = [];
       };
 
-      boost174_pkgs =
+      i386_pkgs = import nixpkgs {
+        inherit system;
+        config.allowUnfree = true;
+        overlays = [];
+
+        # Build crosscompiler
+        crossSystem = {
+          config = "i386-elf";
+          libc = "newlib";
+        };
+      };
+
+      boost_pkgs =
         import (builtins.fetchTarball {
           url = "https://github.com/NixOS/nixpkgs/archive/824421b1796332ad1bcb35bc7855da832c43305f.tar.gz";
           sha256 = "sha256:1w6cjnakz1yi66rs8c6nmhymsr7bj82vs2hz200ipi1sfiq8dy4y";
@@ -30,6 +42,14 @@ rec {
           inherit system;
         };
 
+      libdwarf_pkgs =
+        import (builtins.fetchTarball {
+          url = "https://github.com/NixOS/nixpkgs/archive/f597e7e9fcf37d8ed14a12835ede0a7d362314bd.tar.gz";
+          sha256 = "sha256:1l79hh7jh7m8yc5mvc8dbg6s8rf30bgm994kf07xriqbzwfn158r";
+        }) {
+          inherit system;
+        };
+
       inherit (pkgs) lib stdenv;
 
       # =========================================================================================
@@ -82,9 +102,6 @@ rec {
           # Determine the project root, used e.g. in cmake scripts
           set -g -x FLAKE_PROJECT_ROOT (git rev-parse --show-toplevel)
 
-          # Rust Bevy:
-          # abbr -a build-release-windows "CARGO_FEATURE_PURE=1 cargo xwin build --release --target x86_64-pc-windows-msvc"
-
           # C/C++:
           # abbr -a cmake-debug "${cmakeDebug}"
           # abbr -a cmake-release "${cmakeRelease}"
@@ -111,14 +128,12 @@ rec {
           pyyaml
         ]);
 
-      boost174 = boost174_pkgs.boost174;
-
       libpcl = stdenv.mkDerivation rec {
         pname = "libpcl1";
         version = "1.12-2";
 
         src = pkgs.fetchurl {
-          url = "http://launchpadlibrarian.net/521269537/libpcl1_1.12-2_amd64.deb";
+          url = "http://launchpadlibrarian.net/521269537/${pname}_${version}_amd64.deb";
           hash = "sha256-GL3mjPAccAtRMAJPnDMCHiDf6xNvGi4oUWylOIqBjP0=";
         };
 
@@ -131,9 +146,6 @@ rec {
         installPhase = ''
           runHook preInstall
 
-          ls -al
-          # dpkg-deb -x ${pname}_${version}_amd64.deb libpcl
-
           mkdir -p $out/lib
           cp -rv usr/lib/x86_64-linux-gnu/* $out/lib/
 
@@ -141,6 +153,207 @@ rec {
         '';
       };
 
+      wasi-sdk = stdenv.mkDerivation rec {
+        pname = "wasi-sdk";
+        version = "29";
+
+        src = let
+          baseurl = "https://github.com/WebAssembly/wasi-sdk/releases/download";
+        in
+          builtins.fetchTarball {
+            url = "${baseurl}/${pname}-${version}/${pname}-${version}.0-x86_64-linux.tar.gz";
+            sha256 = "sha256:16afis71iqfvwiny4dz0lk9f7wbary0wa67ybwyhywr8g57ss6hq";
+          };
+
+        nativeBuildInputs = with pkgs; [
+          autoPatchelfHook
+        ];
+
+        buildInputs = with pkgs; [
+          libgcc.lib
+        ];
+
+        dontBuild = true;
+        installPhase = ''
+          runHook preInstall
+
+          mkdir -p $out
+          cp -rv ./* $out/
+
+          runHook postInstall
+        '';
+      };
+
+      iwasm = stdenv.mkDerivation rec {
+        pname = "iwasm";
+        version = "2.4.4";
+
+        src = let
+          baseurl = "https://github.com/bytecodealliance/wasm-micro-runtime/releases/download";
+        in
+          builtins.fetchTarball {
+            url = "${baseurl}/WAMR-${version}/${pname}-${version}-x86_64-ubuntu-22.04.tar.gz";
+            sha256 = "sha256:05irihz3yf7hpc0a59qz9i62imhrsni9xy9nxwsn6b8s92c1yzrp";
+          };
+
+        nativeBuildInputs = with pkgs; [
+          autoPatchelfHook
+        ];
+
+        buildInputs = with pkgs; [
+          libz
+          zstd
+          libgcc.lib
+        ];
+
+        dontBuild = true;
+        installPhase = ''
+          runHook preInstall
+
+          mkdir -p $out/bin
+          cp -rv ./* $out/bin/
+
+          runHook postInstall
+        '';
+      };
+
+      wamrc = stdenv.mkDerivation rec {
+        pname = "wamrc";
+        version = "2.4.4";
+
+        src = let
+          baseurl = "https://github.com/bytecodealliance/wasm-micro-runtime/releases/download";
+        in
+          builtins.fetchTarball {
+            url = "${baseurl}/WAMR-${version}/${pname}-${version}-x86_64-ubuntu-22.04.tar.gz";
+            sha256 = "sha256:0264arh03gc35z0zdvw07qdvqgfvsxr3qgl1aszghwicmdmh4sqj";
+          };
+
+        nativeBuildInputs = with pkgs; [
+          autoPatchelfHook
+        ];
+
+        buildInputs = with pkgs; [
+          libz
+          zstd
+          libgcc.lib
+        ];
+
+        dontBuild = true;
+        installPhase = ''
+          runHook preInstall
+
+          mkdir -p $out/bin
+          cp -rv ./* $out/bin/
+
+          runHook postInstall
+        '';
+      };
+
+      wamr = stdenv.mkDerivation {
+        pname = "wamr";
+        version = "2.4.4";
+
+        src = pkgs.fetchFromGitea {
+          domain = "gitea.local.chriphost.de";
+          owner = "christoph";
+          repo = "wamr";
+          rev = "fd69a4e76ec0d384bd79f514772b7dfa240fc0d7";
+          hash = "sha256-rlCx4isI0k6rC9E0hWIA9LeinqiACug7zxj9z/e4SBQ=";
+        };
+
+        dontBuild = true;
+        installPhase = ''
+          runHook preInstall
+
+          mkdir -p $out
+          cp -rv ./* $out/
+
+          runHook postInstall
+        '';
+      };
+
+      mkLibiwasm = {
+        buildenv,
+        platform,
+        buildtype,
+        cflags,
+        extraCmakeFlags ? [],
+      }:
+        buildenv.mkDerivation {
+          pname = "libiwasm";
+          version = "2.4.4";
+
+          src = pkgs.fetchFromGitea {
+            domain = "gitea.local.chriphost.de";
+            owner = "christoph";
+            repo = "wamr";
+            rev = "fd69a4e76ec0d384bd79f514772b7dfa240fc0d7";
+            hash = "sha256-rlCx4isI0k6rC9E0hWIA9LeinqiACug7zxj9z/e4SBQ=";
+          };
+
+          nativeBuildInputs = with pkgs; [cmake];
+
+          cmakeBuildType = buildtype;
+          cmakeFlags =
+            extraCmakeFlags
+            ++ [
+              "-DCMAKE_VERBOSE_MAKEFILE=ON"
+              "-DCMAKE_COLOR_DIAGNOSTICS=ON"
+
+              "-DWAMR_BUILD_PLATFORM=${platform}"
+              "-DWAMR_BUILD_TARGET=X86_32"
+              "-DWAMR_BUILD_AOT=1"
+              "-DWAMR_BUILD_WAMR_COMPILER=0"
+              "-DWAMR_BUILD_INTERP=1"
+              "-DWAMR_BUILD_FAST_INTERP=0"
+              "-DWAMR_BUILD_JIT=0"
+              "-DWAMR_BUILD_FAST_JIT=0"
+              "-DWAMR_BUILD_LIBC_BUILTIN=1"
+              "-DWAMR_BUILD_LIBC_WASI=0"
+              "-DWAMR_BUILD_SIMD=0"
+            ];
+
+          # Since GCC 15, implicit declarations are an error. Disable this.
+          NIX_CFLAGS_COMPILE = "-Wno-error=implicit-function-declaration " + cflags;
+        };
+
+      libiwasm-baremetal-debug = mkLibiwasm {
+        buildenv = i386_pkgs.stdenv;
+        platform = "baremetal";
+        buildtype = "Debug";
+        cflags = "-O0 -ggdb";
+        extraCmakeFlags = [
+          "-DCMAKE_SYSTEM_NAME=Generic"
+          "-DCMAKE_SYSTEM_PROCESSOR=i386"
+          "-DCMAKE_TRY_COMPILE_TARGET_TYPE=STATIC_LIBRARY"
+        ];
+      };
+      libiwasm-baremetal-release = mkLibiwasm {
+        buildenv = i386_pkgs.stdenv;
+        platform = "baremetal";
+        buildtype = "Release";
+        cflags = "-O2 -ggdb -DNDEBUG";
+        extraCmakeFlags = [
+          "-DCMAKE_SYSTEM_NAME=Generic"
+          "-DCMAKE_SYSTEM_PROCESSOR=i386"
+          "-DCMAKE_TRY_COMPILE_TARGET_TYPE=STATIC_LIBRARY"
+        ];
+      };
+
+      libiwasm-linux-debug = mkLibiwasm {
+        buildenv = pkgs.multiStdenv;
+        platform = "linux";
+        buildtype = "Debug";
+        cflags = "-O0 -ggdb";
+      };
+      libiwasm-linux-release = mkLibiwasm {
+        buildenv = pkgs.multiStdenv;
+        platform = "linux";
+        buildtype = "Release";
+        cflags = "-O2 -ggdb -DNDEBUG";
+      };
+
       # ===========================================================================================
       # Specify dependencies
       # https://nixos.org/manual/nixpkgs/stable/#ssec-stdenv-dependencies-overview
@@ -149,56 +362,88 @@ rec {
 
       # Add dependencies to nativeBuildInputs if they are executed during the build:
       # - Those which are needed on $PATH during the build, for example cmake and pkg-config
-      # - Setup hooks, for example makeWrapper
+      # - Setup hooks, for example makeWrapper/autoPatchelfHook
       # - Interpreters needed by patchShebangs for build scripts (with the --build flag), which can be the case for e.g. perl
       nativeBuildInputs = with pkgs; [
-        autoPatchelfHook
+        just
+        gdb
+        xxd
+        wabt
+        grub2
+        xorriso
+        mariadb.client
+        dbeaver-bin
+        iwasm
+        wamrc
+        fail-bin
+
+        # Don't install to not pollute our PATH. Just export as environment variable.
+        # wasi-sdk
+        # libiwasm_debug
+        # libiwasm_release
       ];
 
       # Add dependencies to buildInputs if they will end up copied or linked into the final output or otherwise used at runtime:
       # - Libraries used by compilers, for example zlib
       # - Interpreters needed by patchShebangs for scripts which are installed, which can be the case for e.g. perl
-      buildInputs = with pkgs; [
-        python # For resultbrowser
+      buildInputs = with pkgs; [];
 
-        alsa-lib # libasound.so.2
-        boost174 # libboost_coroutine.so.1.74.0, libboost_regex.so.1.74.0, libboost_thread.so.1.74.0
-        capstone_4 # libcapstone.so.4
-        libdwarf # libdwarf.so.1
-        libelf # libelf.so.1
-        mariadb-connector-c # libmariadb.so.3
-        libpcl # libpcl.so.1
-        protobuf # libprotobuf.so.32
-        SDL # libSDL-1.2.so.0
-        libx11 # libX11.so.6
-        libxrandr # libXrandr.so.2
-        libz # libz.so.1
-      ];
       # ===========================================================================================
       # Define buildable + installable packages
       # ===========================================================================================
-      package = stdenv.mkDerivation rec {
-        inherit nativeBuildInputs buildInputs;
+
+      fail-bin = stdenv.mkDerivation {
         pname = "fail";
         version = "1.0.0";
         src = ./.;
 
+        nativeBuildInputs = with pkgs; [
+          autoPatchelfHook
+        ];
+
+        buildInputs = with pkgs; [
+          # FAIL runtime dependencies
+          python # bochs-experiment-runner.py, resultbrowser.py
+          alsa-lib # libasound.so.2
+          boost_pkgs.boost174 # libboost_coroutine.so.1.74.0, libboost_regex.so.1.74.0, libboost_thread.so.1.74.0
+          capstone_4 # libcapstone.so.4
+          libdwarf_pkgs.libdwarf # libdwarf.so.1
+          elfutils # libelf.so.1
+          mariadb # libmariadb.so.3
+          libpcl # libpcl.so.1
+          protobuf_21 # libprotobuf.so.32
+          SDL # libSDL-1.2.so.0
+          libx11 # libX11.so.6
+          libxrandr # libXrandr.so.2
+          libz # libz.so.1
+        ];
+
         installPhase = ''
           runHook preInstall
 
           mkdir -p $out
-          cp -rv ./bin $out/bin
-          cp -rv ./share $out/share
+          cp -rv ./fail/bin $out/bin
+          cp -rv ./fail/share $out/share
 
           runHook postInstall
         '';
       };
-    in rec {
+    in {
       # Provide package for "nix build"
       packages = {
-        default = package;
+        default = fail-bin;
+        fail = fail-bin;
+        wasi-sdk = wasi-sdk;
+        iwasm = iwasm;
+        wamrc = wamrc;
+      };
+      apps = {
+        default = flake-utils.lib.mkApp {drv = fail-bin;};
+        fail = fail-bin;
+        wasi-sdk = wasi-sdk;
+        iwasm = iwasm;
+        wamrc = wamrc;
       };
-      apps.default = flake-utils.lib.mkApp {drv = package;};
 
       devShells = {
         # Provide default environment for "nix develop".
@@ -212,7 +457,22 @@ rec {
           # =========================================================================================
 
           # Dynamic libraries from buildinputs:
-          LD_LIBRARY_PATH = pkgs.lib.makeLibraryPath buildInputs;
+          # LD_LIBRARY_PATH = pkgs.lib.makeLibraryPath buildInputs;
+
+          JUST_JUSTFILE = "./nixos.just";
+
+          # Those are read by the justfile
+          FAIL_SHARE = "${fail-bin}/share";
+          WASI_ROOT = wasi-sdk;
+          WAMR_ROOT = wamr;
+          LIBIWASM_DEBUG = "${libiwasm-baremetal-debug}/lib";
+          LIBIWASM_RELEASE = "${libiwasm-baremetal-release}/lib";
+          LIBIWASM_LINUX_DEBUG = "${libiwasm-linux-debug}/lib";
+          LIBIWASM_LINUX_RELEASE = "${libiwasm-linux-release}/lib";
+          CROSS_CC = "${i386_pkgs.stdenv.cc}/bin/i386-elf-gcc";
+          CROSS_CXX = "${i386_pkgs.stdenv.cc}/bin/i386-elf-g++";
+          LINUX_CC = "${pkgs.multiStdenv.cc}/bin/gcc";
+          LINUX_CXX = "${pkgs.multiStdenv.cc}/bin/g++";
         };
       };
     });

ghidra/ImportMarkersAsBookmarks.java

@@ -0,0 +1,121 @@
+// CSV format per line:
+// 0x401000,<count>
+//
+// Creates NOTE bookmarks in category: FAIL_MARKER
+
+import ghidra.app.script.GhidraScript;
+import ghidra.program.model.address.Address;
+import ghidra.program.model.listing.BookmarkManager;
+import java.io.BufferedReader;
+import java.io.File;
+import java.io.FileReader;
+
+public class ImportMarkersAsBookmarks extends GhidraScript {
+
+  private static final String BOOKMARK_TYPE = "NOTE";
+  private static final String BOOKMARK_CATEGORY = "FAIL_MARKER";
+
+  @Override
+  public void run() throws Exception {
+    File input = askFile("Select CSV file", "Import");
+    BookmarkManager bm = currentProgram.getBookmarkManager();
+
+    int imported = 0;
+    int skipped = 0;
+    int lineNo = 0;
+
+    try (BufferedReader br = new BufferedReader(new FileReader(input))) {
+      String line;
+      while ((line = br.readLine()) != null) {
+        lineNo++;
+
+        if (monitor.isCancelled()) {
+          println("Cancelled.");
+          break;
+        }
+
+        line = line.trim();
+        if (line.isEmpty() || line.startsWith("#")) {
+          continue;
+        }
+
+        String[] parts = splitCsvLine(line);
+        if (parts.length < 1) {
+          skipped++;
+          printerr("Line " + lineNo + ": missing address");
+          continue;
+        }
+
+        String addrText = parts[0].trim();
+        String description = parts.length >= 2 ? parts[1].trim() : "";
+
+        if (addrText.isEmpty()) {
+          skipped++;
+          printerr("Line " + lineNo + ": empty address");
+          continue;
+        }
+
+        Address addr = parseAddress(addrText);
+        if (addr == null) {
+          skipped++;
+          printerr("Line " + lineNo + ": invalid address: " + addrText);
+          continue;
+        }
+
+        println("Adding bookmark at " + addr + " with description " + description);
+        bm.setBookmark(addr, BOOKMARK_TYPE, BOOKMARK_CATEGORY, description);
+        imported++;
+      }
+    }
+
+    println("Imported " + imported + " bookmarks.");
+    if (skipped > 0) {
+      println("Skipped " + skipped + " lines.");
+    }
+  }
+
+  public Address parseAddress(String text) {
+    text = text.trim();
+
+    if (text.startsWith("\"") && text.endsWith("\"") && text.length() >= 2) {
+      text = text.substring(1, text.length() - 1).trim();
+    }
+
+    if (text.startsWith("0x") || text.startsWith("0X")) {
+      text = text.substring(2);
+    }
+
+    try {
+      return toAddr(text);
+    } catch (Exception e) {
+      return null;
+    }
+  }
+
+  private String[] splitCsvLine(String line) {
+    java.util.ArrayList<String> fields = new java.util.ArrayList<>();
+    StringBuilder current = new StringBuilder();
+    boolean inQuotes = false;
+
+    for (int i = 0; i < line.length(); i++) {
+      char c = line.charAt(i);
+
+      if (c == '"') {
+        if (inQuotes && i + 1 < line.length() && line.charAt(i + 1) == '"') {
+          current.append('"');
+          i++;
+        } else {
+          inQuotes = !inQuotes;
+        }
+      } else if (c == ',' && !inQuotes) {
+        fields.add(current.toString());
+        current.setLength(0);
+      } else {
+        current.append(c);
+      }
+    }
+
+    fields.add(current.toString());
+    return fields.toArray(new String[0]);
+  }
+}

just

@@ -0,0 +1 @@
+./just-bin/just

just-bin/Cargo.toml

@@ -0,0 +1,108 @@
+[package]
+name = "just"
+version = "1.46.0"
+authors = ["Casey Rodarmor <casey@rodarmor.com>"]
+autotests = false
+categories = ["command-line-utilities", "development-tools"]
+description = "🤖 Just a command runner"
+edition = "2021"
+exclude = ["/book", "/icon.png", "/screenshot.png", "/www"]
+homepage = "https://github.com/casey/just"
+keywords = ["command-line", "task", "runner", "development", "utility"]
+license = "CC0-1.0"
+readme = "crates-io-readme.md"
+repository = "https://github.com/casey/just"
+rust-version = "1.82.0"
+
+[workspace]
+members = [".", "crates/*"]
+
+[dependencies]
+ansi_term = "0.12.0"
+blake3 = { version = "1.5.0", features = ["rayon", "mmap"] }
+camino = "1.0.4"
+chrono = "0.4.38"
+clap = { version = "4.0.0", features = ["derive", "env", "wrap_help"] }
+clap_mangen = "0.2.20"
+derive-where = "1.2.7"
+dirs = "6.0.0"
+dotenvy = "0.15"
+edit-distance = "2.0.0"
+heck = "0.5.0"
+is_executable = "1.0.4"
+lexiclean = "0.0.1"
+libc = "0.2.0"
+num_cpus = "1.15.0"
+percent-encoding = "2.3.1"
+rand = "0.9.0"
+regex = "1.10.4"
+rustversion = "1.0.18"
+semver = "1.0.20"
+serde = { version = "1.0.130", features = ["derive", "rc"] }
+serde_json = "1.0.68"
+sha2 = "0.10"
+shellexpand = "3.1.0"
+similar = { version = "2.1.0", features = ["unicode"] }
+snafu = "0.8.0"
+strum = { version = "0.27.1", features = ["derive"] }
+target = "2.0.0"
+tempfile = "3.0.0"
+typed-arena = "2.0.1"
+unicode-width = "0.2.0"
+uuid = { version = "1.0.0", features = ["v4"] }
+
+[target.'cfg(unix)'.dependencies]
+nix = { version = "0.30.1", features = ["signal", "user", "fs"] }
+
+[target.'cfg(windows)'.dependencies]
+ctrlc = { version = "3.1.1", features = ["termination"] }
+
+[dev-dependencies]
+clap_complete = "=4.5.48"
+executable-path = "1.0.0"
+pretty_assertions = "1.0.0"
+temptree = "0.2.0"
+which = "8.0.0"
+
+[lints.rust]
+mismatched_lifetime_syntaxes = "allow"
+unexpected_cfgs = { level = "warn", check-cfg = ['cfg(fuzzing)'] }
+
+[lints.clippy]
+all = { level = "deny", priority = -1 }
+arbitrary-source-item-ordering = "deny"
+enum_glob_use = "allow"
+ignore_without_reason = "allow"
+needless_pass_by_value = "allow"
+pedantic = { level = "deny", priority = -1 }
+similar_names = "allow"
+struct_excessive_bools = "allow"
+struct_field_names = "allow"
+too_many_arguments = "allow"
+too_many_lines = "allow"
+type_complexity = "allow"
+undocumented_unsafe_blocks = "deny"
+unnecessary_wraps = "allow"
+wildcard_imports = "allow"
+
+[lib]
+doctest = false
+
+[[bin]]
+path = "src/main.rs"
+name = "just"
+test = false
+
+# The public documentation is minimal and doesn't change between
+# platforms, so we only build them for linux on docs.rs to save
+# their build machines some cycles.
+[package.metadata.docs.rs]
+targets = ["x86_64-unknown-linux-gnu"]
+
+[profile.release]
+lto = true
+codegen-units = 1
+
+[[test]]
+name = "integration"
+path = "tests/lib.rs"

just-bin/GRAMMAR.md

@@ -0,0 +1,152 @@
+justfile grammar
+================
+
+Justfiles are processed by a mildly context-sensitive tokenizer
+and a recursive descent parser. The grammar is LL(k), for an
+unknown but hopefully reasonable value of k.
+
+tokens
+------
+
+```
+BACKTICK            = `[^`]*`
+INDENTED_BACKTICK   = ```[^(```)]*```
+COMMENT             = #([^!].*)?$
+DEDENT              = emitted when indentation decreases
+EOF                 = emitted at the end of the file
+INDENT              = emitted when indentation increases
+LINE                = emitted before a recipe line
+NAME                = [a-zA-Z_][a-zA-Z0-9_-]*
+NEWLINE             = \n|\r\n
+RAW_STRING          = '[^']*'
+INDENTED_RAW_STRING = '''[^(''')]*'''
+STRING              = "[^"]*" # also processes \n \r \t \" \\ escapes
+INDENTED_STRING     = """[^(""")]*""" # also processes \n \r \t \" \\ escapes
+LINE_PREFIX         = @-|-@|@|-
+TEXT                = recipe text, only matches in a recipe body
+```
+
+grammar syntax
+--------------
+
+```
+|   alternation
+()  grouping
+_?  option (0 or 1 times)
+_*  repetition (0 or more times)
+_+  repetition (1 or more times)
+```
+
+grammar
+-------
+
+```
+justfile      : item* EOF
+
+item          : alias
+              | assignment
+              | eol
+              | export
+              | import
+              | module
+              | recipe
+              | set
+
+eol           : NEWLINE
+              | COMMENT NEWLINE
+
+alias         : 'alias' NAME ':=' target eol
+
+target        : NAME ('::' NAME)*
+
+assignment    : NAME ':=' expression eol
+
+export        : 'export' assignment
+
+set           : 'set' setting eol
+
+setting       : 'allow-duplicate-recipes' boolean?
+              | 'allow-duplicate-variables' boolean?
+              | 'dotenv-filename' ':=' string
+              | 'dotenv-load' boolean?
+              | 'dotenv-path' ':=' string
+              | 'dotenv-required' boolean?
+              | 'export' boolean?
+              | 'fallback' boolean?
+              | 'ignore-comments' boolean?
+              | 'positional-arguments' boolean?
+              | 'script-interpreter' ':=' string_list
+              | 'quiet' boolean?
+              | 'shell' ':=' string_list
+              | 'tempdir' ':=' string
+              | 'unstable' boolean?
+              | 'windows-powershell' boolean?
+              | 'windows-shell' ':=' string_list
+              | 'working-directory' ':=' string
+
+boolean       : ':=' ('true' | 'false')
+
+string_list   : '[' string (',' string)* ','? ']'
+
+import        : 'import' '?'? string? eol
+
+module        : 'mod' '?'? NAME string? eol
+
+expression    : disjunct || expression
+              | disjunct
+
+disjunct      : conjunct && disjunct
+              | conjunct
+
+conjunct      : 'if' condition '{' expression '}' 'else' '{' expression '}'
+              | 'assert' '(' condition ',' expression ')'
+              | '/' expression
+              | value '/' expression
+              | value '+' expression
+              | value
+
+condition     : expression '==' expression
+              | expression '!=' expression
+              | expression '=~' expression
+
+value         : NAME '(' sequence? ')'
+              | BACKTICK
+              | INDENTED_BACKTICK
+              | NAME
+              | string
+              | '(' expression ')'
+
+string        : 'x'? STRING
+              | 'x'? INDENTED_STRING
+              | 'x'? RAW_STRING
+              | 'x'? INDENTED_RAW_STRING
+
+sequence      : expression ',' sequence
+              | expression ','?
+
+recipe        : attributes* '@'? NAME parameter* variadic? ':' dependencies eol body?
+
+attributes    : '[' attribute (',' attribute)* ']' eol
+
+attribute     : NAME
+              | NAME ':' string
+              | NAME '(' string (',' string)* ')'
+
+parameter     : '$'? NAME
+              | '$'? NAME '=' value
+
+variadic      : '*' parameter
+              | '+' parameter
+
+dependencies  : dependency* ('&&' dependency+)?
+
+dependency    : target
+              | '(' target expression* ')'
+
+body          : INDENT line+ DEDENT
+
+line          : LINE LINE_PREFIX? (TEXT | interpolation)+ NEWLINE
+              | NEWLINE
+
+interpolation : '{{' expression '}}'
+```

just-bin/LICENSE

@@ -0,0 +1,121 @@
+Creative Commons Legal Code
+
+CC0 1.0 Universal
+
+    CREATIVE COMMONS CORPORATION IS NOT A LAW FIRM AND DOES NOT PROVIDE
+    LEGAL SERVICES. DISTRIBUTION OF THIS DOCUMENT DOES NOT CREATE AN
+    ATTORNEY-CLIENT RELATIONSHIP. CREATIVE COMMONS PROVIDES THIS
+    INFORMATION ON AN "AS-IS" BASIS. CREATIVE COMMONS MAKES NO WARRANTIES
+    REGARDING THE USE OF THIS DOCUMENT OR THE INFORMATION OR WORKS
+    PROVIDED HEREUNDER, AND DISCLAIMS LIABILITY FOR DAMAGES RESULTING FROM
+    THE USE OF THIS DOCUMENT OR THE INFORMATION OR WORKS PROVIDED
+    HEREUNDER.
+
+Statement of Purpose
+
+The laws of most jurisdictions throughout the world automatically confer
+exclusive Copyright and Related Rights (defined below) upon the creator
+and subsequent owner(s) (each and all, an "owner") of an original work of
+authorship and/or a database (each, a "Work").
+
+Certain owners wish to permanently relinquish those rights to a Work for
+the purpose of contributing to a commons of creative, cultural and
+scientific works ("Commons") that the public can reliably and without fear
+of later claims of infringement build upon, modify, incorporate in other
+works, reuse and redistribute as freely as possible in any form whatsoever
+and for any purposes, including without limitation commercial purposes.
+These owners may contribute to the Commons to promote the ideal of a free
+culture and the further production of creative, cultural and scientific
+works, or to gain reputation or greater distribution for their Work in
+part through the use and efforts of others.
+
+For these and/or other purposes and motivations, and without any
+expectation of additional consideration or compensation, the person
+associating CC0 with a Work (the "Affirmer"), to the extent that he or she
+is an owner of Copyright and Related Rights in the Work, voluntarily
+elects to apply CC0 to the Work and publicly distribute the Work under its
+terms, with knowledge of his or her Copyright and Related Rights in the
+Work and the meaning and intended legal effect of CC0 on those rights.
+
+1. Copyright and Related Rights. A Work made available under CC0 may be
+protected by copyright and related or neighboring rights ("Copyright and
+Related Rights"). Copyright and Related Rights include, but are not
+limited to, the following:
+
+  i. the right to reproduce, adapt, distribute, perform, display,
+     communicate, and translate a Work;
+ ii. moral rights retained by the original author(s) and/or performer(s);
+iii. publicity and privacy rights pertaining to a person's image or
+     likeness depicted in a Work;
+ iv. rights protecting against unfair competition in regards to a Work,
+     subject to the limitations in paragraph 4(a), below;
+  v. rights protecting the extraction, dissemination, use and reuse of data
+     in a Work;
+ vi. database rights (such as those arising under Directive 96/9/EC of the
+     European Parliament and of the Council of 11 March 1996 on the legal
+     protection of databases, and under any national implementation
+     thereof, including any amended or successor version of such
+     directive); and
+vii. other similar, equivalent or corresponding rights throughout the
+     world based on applicable law or treaty, and any national
+     implementations thereof.
+
+2. Waiver. To the greatest extent permitted by, but not in contravention
+of, applicable law, Affirmer hereby overtly, fully, permanently,
+irrevocably and unconditionally waives, abandons, and surrenders all of
+Affirmer's Copyright and Related Rights and associated claims and causes
+of action, whether now known or unknown (including existing as well as
+future claims and causes of action), in the Work (i) in all territories
+worldwide, (ii) for the maximum duration provided by applicable law or
+treaty (including future time extensions), (iii) in any current or future
+medium and for any number of copies, and (iv) for any purpose whatsoever,
+including without limitation commercial, advertising or promotional
+purposes (the "Waiver"). Affirmer makes the Waiver for the benefit of each
+member of the public at large and to the detriment of Affirmer's heirs and
+successors, fully intending that such Waiver shall not be subject to
+revocation, rescission, cancellation, termination, or any other legal or
+equitable action to disrupt the quiet enjoyment of the Work by the public
+as contemplated by Affirmer's express Statement of Purpose.
+
+3. Public License Fallback. Should any part of the Waiver for any reason
+be judged legally invalid or ineffective under applicable law, then the
+Waiver shall be preserved to the maximum extent permitted taking into
+account Affirmer's express Statement of Purpose. In addition, to the
+extent the Waiver is so judged Affirmer hereby grants to each affected
+person a royalty-free, non transferable, non sublicensable, non exclusive,
+irrevocable and unconditional license to exercise Affirmer's Copyright and
+Related Rights in the Work (i) in all territories worldwide, (ii) for the
+maximum duration provided by applicable law or treaty (including future
+time extensions), (iii) in any current or future medium and for any number
+of copies, and (iv) for any purpose whatsoever, including without
+limitation commercial, advertising or promotional purposes (the
+"License"). The License shall be deemed effective as of the date CC0 was
+applied by Affirmer to the Work. Should any part of the License for any
+reason be judged legally invalid or ineffective under applicable law, such
+partial invalidity or ineffectiveness shall not invalidate the remainder
+of the License, and in such case Affirmer hereby affirms that he or she
+will not (i) exercise any of his or her remaining Copyright and Related
+Rights in the Work or (ii) assert any associated claims and causes of
+action with respect to the Work, in either case contrary to Affirmer's
+express Statement of Purpose.
+
+4. Limitations and Disclaimers.
+
+ a. No trademark or patent rights held by Affirmer are waived, abandoned,
+    surrendered, licensed or otherwise affected by this document.
+ b. Affirmer offers the Work as-is and makes no representations or
+    warranties of any kind concerning the Work, express, implied,
+    statutory or otherwise, including without limitation warranties of
+    title, merchantability, fitness for a particular purpose, non
+    infringement, or the absence of latent or other defects, accuracy, or
+    the present or absence of errors, whether or not discoverable, all to
+    the greatest extent permissible under applicable law.
+ c. Affirmer disclaims responsibility for clearing rights of other persons
+    that may apply to the Work or any use thereof, including without
+    limitation any person's Copyright and Related Rights in the Work.
+    Further, Affirmer disclaims responsibility for obtaining any necessary
+    consents, permissions or other rights required for any use of the
+    Work.
+ d. Affirmer understands and acknowledges that Creative Commons is not a
+    party to this document and has no duty or obligation with respect to
+    this CC0 or use of the Work.

just-bin/completions/just.bash

@@ -0,0 +1,189 @@
+_just() {
+    local i cur prev words cword opts cmd
+    COMPREPLY=()
+
+    # Modules use "::" as the separator, which is considered a wordbreak character in bash.
+    # The _get_comp_words_by_ref function is a hack to allow for exceptions to this rule without
+    # modifying the global COMP_WORDBREAKS environment variable.
+    if type _get_comp_words_by_ref &>/dev/null; then
+        _get_comp_words_by_ref -n : cur prev words cword
+    else
+        cur="${COMP_WORDS[COMP_CWORD]}"
+        prev="${COMP_WORDS[COMP_CWORD-1]}"
+        words=$COMP_WORDS
+        cword=$COMP_CWORD
+    fi
+
+    cmd=""
+    opts=""
+
+    for i in ${words[@]}
+    do
+        case "${cmd},${i}" in
+            ",$1")
+                cmd="just"
+                ;;
+            *)
+                ;;
+        esac
+    done
+
+    case "${cmd}" in
+        just)
+            opts="-E -n -g -f -q -u -v -d -c -e -l -s -h -V --alias-style --ceiling --check --chooser --clear-shell-args --color --command-color --cygpath --dotenv-filename --dotenv-path --dry-run --dump-format --explain --global-justfile --highlight --justfile --list-heading --list-prefix --list-submodules --no-aliases --no-deps --no-dotenv --no-highlight --one --quiet --allow-missing --set --shell --shell-arg --shell-command --tempdir --timestamp --timestamp-format --unsorted --unstable --verbose --working-directory --yes --changelog --choose --command --completions --dump --edit --evaluate --fmt --groups --init --list --man --request --show --summary --usage --variables --help --version [ARGUMENTS]..."
+                if [[ ${cur} == -* ]] ; then
+                    COMPREPLY=( $(compgen -W "${opts}" -- "${cur}") )
+                    return 0
+                else
+                    local recipes=$(just --summary 2> /dev/null)
+
+                    if echo "${cur}" | \grep -qF '/'; then
+                        local path_prefix=$(echo "${cur}" | sed 's/[/][^/]*$/\//')
+                        local recipes=$(just --summary 2> /dev/null -- "${path_prefix}")
+                        local recipes=$(printf "${path_prefix}%s\t" $recipes)
+                    fi
+
+                    if [[ $? -eq 0 ]]; then
+                        COMPREPLY=( $(compgen -W "${recipes}" -- "${cur}") )
+                        if type __ltrim_colon_completions &>/dev/null; then
+                            __ltrim_colon_completions "$cur"
+                        fi
+                        return 0
+                    fi
+                fi
+            case "${prev}" in
+                --alias-style)
+                    COMPREPLY=($(compgen -W "left right separate" -- "${cur}"))
+                    return 0
+                    ;;
+                --ceiling)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                --chooser)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                --color)
+                    COMPREPLY=($(compgen -W "always auto never" -- "${cur}"))
+                    return 0
+                    ;;
+                --command-color)
+                    COMPREPLY=($(compgen -W "black blue cyan green purple red yellow" -- "${cur}"))
+                    return 0
+                    ;;
+                --cygpath)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                --dotenv-filename)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                --dotenv-path)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                -E)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                --dump-format)
+                    COMPREPLY=($(compgen -W "json just" -- "${cur}"))
+                    return 0
+                    ;;
+                --justfile)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                -f)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                --list-heading)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                --list-prefix)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                --set)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                --shell)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                --shell-arg)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                --tempdir)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                --timestamp-format)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                --working-directory)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                -d)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                --command)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                -c)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                --completions)
+                    COMPREPLY=($(compgen -W "bash elvish fish nushell powershell zsh" -- "${cur}"))
+                    return 0
+                    ;;
+                --list)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                -l)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                --request)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                --show)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                -s)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                --usage)
+                    COMPREPLY=($(compgen -f "${cur}"))
+                    return 0
+                    ;;
+                *)
+                    COMPREPLY=()
+                    ;;
+            esac
+            COMPREPLY=( $(compgen -W "${opts}" -- "${cur}") )
+            return 0
+            ;;
+    esac
+}
+
+if [[ "${BASH_VERSINFO[0]}" -eq 4 && "${BASH_VERSINFO[1]}" -ge 4 || "${BASH_VERSINFO[0]}" -gt 4 ]]; then
+    complete -F _just -o nosort -o bashdefault -o default just
+else
+    complete -F _just -o bashdefault -o default just
+fi

just-bin/completions/just.elvish

@@ -0,0 +1,94 @@
+use builtin;
+use str;
+
+set edit:completion:arg-completer[just] = {|@words|
+    fn spaces {|n|
+        builtin:repeat $n ' ' | str:join ''
+    }
+    fn cand {|text desc|
+        edit:complex-candidate $text &display=$text' '(spaces (- 14 (wcswidth $text)))$desc
+    }
+    var command = 'just'
+    for word $words[1..-1] {
+        if (str:has-prefix $word '-') {
+            break
+        }
+        set command = $command';'$word
+    }
+    var completions = [
+        &'just'= {
+            cand --alias-style 'Set list command alias display style'
+            cand --ceiling 'Do not ascend above <CEILING> directory when searching for a justfile.'
+            cand --chooser 'Override binary invoked by `--choose`'
+            cand --color 'Print colorful output'
+            cand --command-color 'Echo recipe lines in <COMMAND-COLOR>'
+            cand --cygpath 'Use binary at <CYGPATH> to convert between unix and Windows paths.'
+            cand --dotenv-filename 'Search for environment file named <DOTENV-FILENAME> instead of `.env`'
+            cand -E 'Load <DOTENV-PATH> as environment file instead of searching for one'
+            cand --dotenv-path 'Load <DOTENV-PATH> as environment file instead of searching for one'
+            cand --dump-format 'Dump justfile as <FORMAT>'
+            cand -f 'Use <JUSTFILE> as justfile'
+            cand --justfile 'Use <JUSTFILE> as justfile'
+            cand --list-heading 'Print <TEXT> before list'
+            cand --list-prefix 'Print <TEXT> before each list item'
+            cand --set 'Override <VARIABLE> with <VALUE>'
+            cand --shell 'Invoke <SHELL> to run recipes'
+            cand --shell-arg 'Invoke shell with <SHELL-ARG> as an argument'
+            cand --tempdir 'Save temporary files to <TEMPDIR>.'
+            cand --timestamp-format 'Timestamp format string'
+            cand -d 'Use <WORKING-DIRECTORY> as working directory. --justfile must also be set'
+            cand --working-directory 'Use <WORKING-DIRECTORY> as working directory. --justfile must also be set'
+            cand -c 'Run an arbitrary command with the working directory, `.env`, overrides, and exports set'
+            cand --command 'Run an arbitrary command with the working directory, `.env`, overrides, and exports set'
+            cand --completions 'Print shell completion script for <SHELL>'
+            cand -l 'List available recipes in <MODULE> or root if omitted'
+            cand --list 'List available recipes in <MODULE> or root if omitted'
+            cand --request 'Execute <REQUEST>. For internal testing purposes only. May be changed or removed at any time.'
+            cand -s 'Show recipe at <PATH>'
+            cand --show 'Show recipe at <PATH>'
+            cand --usage 'Print recipe usage information'
+            cand --check 'Run `--fmt` in ''check'' mode. Exits with 0 if justfile is formatted correctly. Exits with 1 and prints a diff if formatting is required.'
+            cand --clear-shell-args 'Clear shell arguments'
+            cand -n 'Print what just would do without doing it'
+            cand --dry-run 'Print what just would do without doing it'
+            cand --explain 'Print recipe doc comment before running it'
+            cand -g 'Use global justfile'
+            cand --global-justfile 'Use global justfile'
+            cand --highlight 'Highlight echoed recipe lines in bold'
+            cand --list-submodules 'List recipes in submodules'
+            cand --no-aliases 'Don''t show aliases in list'
+            cand --no-deps 'Don''t run recipe dependencies'
+            cand --no-dotenv 'Don''t load `.env` file'
+            cand --no-highlight 'Don''t highlight echoed recipe lines in bold'
+            cand --one 'Forbid multiple recipes from being invoked on the command line'
+            cand -q 'Suppress all output'
+            cand --quiet 'Suppress all output'
+            cand --allow-missing 'Ignore missing recipe and module errors'
+            cand --shell-command 'Invoke <COMMAND> with the shell used to run recipe lines and backticks'
+            cand --timestamp 'Print recipe command timestamps'
+            cand -u 'Return list and summary entries in source order'
+            cand --unsorted 'Return list and summary entries in source order'
+            cand --unstable 'Enable unstable features'
+            cand -v 'Use verbose output'
+            cand --verbose 'Use verbose output'
+            cand --yes 'Automatically confirm all recipes.'
+            cand --changelog 'Print changelog'
+            cand --choose 'Select one or more recipes to run using a binary chooser. If `--chooser` is not passed the chooser defaults to the value of $JUST_CHOOSER, falling back to `fzf`'
+            cand --dump 'Print justfile'
+            cand -e 'Edit justfile with editor given by $VISUAL or $EDITOR, falling back to `vim`'
+            cand --edit 'Edit justfile with editor given by $VISUAL or $EDITOR, falling back to `vim`'
+            cand --evaluate 'Evaluate and print all variables. If a variable name is given as an argument, only print that variable''s value.'
+            cand --fmt 'Format and overwrite justfile'
+            cand --groups 'List recipe groups'
+            cand --init 'Initialize new justfile in project root'
+            cand --man 'Print man page'
+            cand --summary 'List names of available recipes'
+            cand --variables 'List names of variables'
+            cand -h 'Print help'
+            cand --help 'Print help'
+            cand -V 'Print version'
+            cand --version 'Print version'
+        }
+    ]
+    $completions[$command]
+}

just-bin/completions/just.fish

@@ -0,0 +1,87 @@
+function __fish_just_complete_recipes
+        if string match -rq '(-f|--justfile)\s*=?(?<justfile>[^\s]+)' -- (string split -- ' -- ' (commandline -pc))[1]
+          set -fx JUST_JUSTFILE "$justfile"
+        end
+        printf "%s\n" (string split " " (just --summary))
+end
+
+# don't suggest files right off
+complete -c just -n "__fish_is_first_arg" --no-files
+
+# complete recipes
+complete -c just -a '(__fish_just_complete_recipes)'
+
+# autogenerated completions
+complete -c just -l alias-style -d 'Set list command alias display style' -r -f -a "left\t''
+right\t''
+separate\t''"
+complete -c just -l ceiling -d 'Do not ascend above <CEILING> directory when searching for a justfile.' -r -F
+complete -c just -l chooser -d 'Override binary invoked by `--choose`' -r
+complete -c just -l color -d 'Print colorful output' -r -f -a "always\t''
+auto\t''
+never\t''"
+complete -c just -l command-color -d 'Echo recipe lines in <COMMAND-COLOR>' -r -f -a "black\t''
+blue\t''
+cyan\t''
+green\t''
+purple\t''
+red\t''
+yellow\t''"
+complete -c just -l cygpath -d 'Use binary at <CYGPATH> to convert between unix and Windows paths.' -r -F
+complete -c just -l dotenv-filename -d 'Search for environment file named <DOTENV-FILENAME> instead of `.env`' -r
+complete -c just -s E -l dotenv-path -d 'Load <DOTENV-PATH> as environment file instead of searching for one' -r -F
+complete -c just -l dump-format -d 'Dump justfile as <FORMAT>' -r -f -a "json\t''
+just\t''"
+complete -c just -s f -l justfile -d 'Use <JUSTFILE> as justfile' -r -F
+complete -c just -l list-heading -d 'Print <TEXT> before list' -r
+complete -c just -l list-prefix -d 'Print <TEXT> before each list item' -r
+complete -c just -l set -d 'Override <VARIABLE> with <VALUE>' -r
+complete -c just -l shell -d 'Invoke <SHELL> to run recipes' -r
+complete -c just -l shell-arg -d 'Invoke shell with <SHELL-ARG> as an argument' -r
+complete -c just -l tempdir -d 'Save temporary files to <TEMPDIR>.' -r -F
+complete -c just -l timestamp-format -d 'Timestamp format string' -r
+complete -c just -s d -l working-directory -d 'Use <WORKING-DIRECTORY> as working directory. --justfile must also be set' -r -F
+complete -c just -s c -l command -d 'Run an arbitrary command with the working directory, `.env`, overrides, and exports set' -r
+complete -c just -l completions -d 'Print shell completion script for <SHELL>' -r -f -a "bash\t''
+elvish\t''
+fish\t''
+nushell\t''
+powershell\t''
+zsh\t''"
+complete -c just -s l -l list -d 'List available recipes in <MODULE> or root if omitted' -r
+complete -c just -l request -d 'Execute <REQUEST>. For internal testing purposes only. May be changed or removed at any time.' -r
+complete -c just -s s -l show -d 'Show recipe at <PATH>' -r
+complete -c just -l usage -d 'Print recipe usage information' -r
+complete -c just -l check -d 'Run `--fmt` in \'check\' mode. Exits with 0 if justfile is formatted correctly. Exits with 1 and prints a diff if formatting is required.'
+complete -c just -l clear-shell-args -d 'Clear shell arguments'
+complete -c just -s n -l dry-run -d 'Print what just would do without doing it'
+complete -c just -l explain -d 'Print recipe doc comment before running it'
+complete -c just -s g -l global-justfile -d 'Use global justfile'
+complete -c just -l highlight -d 'Highlight echoed recipe lines in bold'
+complete -c just -l list-submodules -d 'List recipes in submodules'
+complete -c just -l no-aliases -d 'Don\'t show aliases in list'
+complete -c just -l no-deps -d 'Don\'t run recipe dependencies'
+complete -c just -l no-dotenv -d 'Don\'t load `.env` file'
+complete -c just -l no-highlight -d 'Don\'t highlight echoed recipe lines in bold'
+complete -c just -l one -d 'Forbid multiple recipes from being invoked on the command line'
+complete -c just -s q -l quiet -d 'Suppress all output'
+complete -c just -l allow-missing -d 'Ignore missing recipe and module errors'
+complete -c just -l shell-command -d 'Invoke <COMMAND> with the shell used to run recipe lines and backticks'
+complete -c just -l timestamp -d 'Print recipe command timestamps'
+complete -c just -s u -l unsorted -d 'Return list and summary entries in source order'
+complete -c just -l unstable -d 'Enable unstable features'
+complete -c just -s v -l verbose -d 'Use verbose output'
+complete -c just -l yes -d 'Automatically confirm all recipes.'
+complete -c just -l changelog -d 'Print changelog'
+complete -c just -l choose -d 'Select one or more recipes to run using a binary chooser. If `--chooser` is not passed the chooser defaults to the value of $JUST_CHOOSER, falling back to `fzf`'
+complete -c just -l dump -d 'Print justfile'
+complete -c just -s e -l edit -d 'Edit justfile with editor given by $VISUAL or $EDITOR, falling back to `vim`'
+complete -c just -l evaluate -d 'Evaluate and print all variables. If a variable name is given as an argument, only print that variable\'s value.'
+complete -c just -l fmt -d 'Format and overwrite justfile'
+complete -c just -l groups -d 'List recipe groups'
+complete -c just -l init -d 'Initialize new justfile in project root'
+complete -c just -l man -d 'Print man page'
+complete -c just -l summary -d 'List names of available recipes'
+complete -c just -l variables -d 'List names of variables'
+complete -c just -s h -l help -d 'Print help'
+complete -c just -s V -l version -d 'Print version'

just-bin/completions/just.nu

@@ -0,0 +1,8 @@
+def "nu-complete just" [] {
+    (^just --dump --unstable --dump-format json | from json).recipes | transpose recipe data | flatten | where {|row| $row.private == false } | select recipe doc parameters | rename value description
+}
+
+# Just: A Command Runner
+export extern "just" [
+    ...recipe: string@"nu-complete just", # Recipe(s) to run, may be with argument(s)
+]

just-bin/completions/just.powershell

@@ -0,0 +1,120 @@
+using namespace System.Management.Automation
+using namespace System.Management.Automation.Language
+
+Register-ArgumentCompleter -Native -CommandName 'just' -ScriptBlock {
+    param($wordToComplete, $commandAst, $cursorPosition)
+
+    $commandElements = $commandAst.CommandElements
+    $command = @(
+        'just'
+        for ($i = 1; $i -lt $commandElements.Count; $i++) {
+            $element = $commandElements[$i]
+            if ($element -isnot [StringConstantExpressionAst] -or
+                $element.StringConstantType -ne [StringConstantType]::BareWord -or
+                $element.Value.StartsWith('-') -or
+                $element.Value -eq $wordToComplete) {
+                break
+        }
+        $element.Value
+    }) -join ';'
+
+    $completions = @(switch ($command) {
+        'just' {
+            [CompletionResult]::new('--alias-style', '--alias-style', [CompletionResultType]::ParameterName, 'Set list command alias display style')
+            [CompletionResult]::new('--ceiling', '--ceiling', [CompletionResultType]::ParameterName, 'Do not ascend above <CEILING> directory when searching for a justfile.')
+            [CompletionResult]::new('--chooser', '--chooser', [CompletionResultType]::ParameterName, 'Override binary invoked by `--choose`')
+            [CompletionResult]::new('--color', '--color', [CompletionResultType]::ParameterName, 'Print colorful output')
+            [CompletionResult]::new('--command-color', '--command-color', [CompletionResultType]::ParameterName, 'Echo recipe lines in <COMMAND-COLOR>')
+            [CompletionResult]::new('--cygpath', '--cygpath', [CompletionResultType]::ParameterName, 'Use binary at <CYGPATH> to convert between unix and Windows paths.')
+            [CompletionResult]::new('--dotenv-filename', '--dotenv-filename', [CompletionResultType]::ParameterName, 'Search for environment file named <DOTENV-FILENAME> instead of `.env`')
+            [CompletionResult]::new('-E', '-E ', [CompletionResultType]::ParameterName, 'Load <DOTENV-PATH> as environment file instead of searching for one')
+            [CompletionResult]::new('--dotenv-path', '--dotenv-path', [CompletionResultType]::ParameterName, 'Load <DOTENV-PATH> as environment file instead of searching for one')
+            [CompletionResult]::new('--dump-format', '--dump-format', [CompletionResultType]::ParameterName, 'Dump justfile as <FORMAT>')
+            [CompletionResult]::new('-f', '-f', [CompletionResultType]::ParameterName, 'Use <JUSTFILE> as justfile')
+            [CompletionResult]::new('--justfile', '--justfile', [CompletionResultType]::ParameterName, 'Use <JUSTFILE> as justfile')
+            [CompletionResult]::new('--list-heading', '--list-heading', [CompletionResultType]::ParameterName, 'Print <TEXT> before list')
+            [CompletionResult]::new('--list-prefix', '--list-prefix', [CompletionResultType]::ParameterName, 'Print <TEXT> before each list item')
+            [CompletionResult]::new('--set', '--set', [CompletionResultType]::ParameterName, 'Override <VARIABLE> with <VALUE>')
+            [CompletionResult]::new('--shell', '--shell', [CompletionResultType]::ParameterName, 'Invoke <SHELL> to run recipes')
+            [CompletionResult]::new('--shell-arg', '--shell-arg', [CompletionResultType]::ParameterName, 'Invoke shell with <SHELL-ARG> as an argument')
+            [CompletionResult]::new('--tempdir', '--tempdir', [CompletionResultType]::ParameterName, 'Save temporary files to <TEMPDIR>.')
+            [CompletionResult]::new('--timestamp-format', '--timestamp-format', [CompletionResultType]::ParameterName, 'Timestamp format string')
+            [CompletionResult]::new('-d', '-d', [CompletionResultType]::ParameterName, 'Use <WORKING-DIRECTORY> as working directory. --justfile must also be set')
+            [CompletionResult]::new('--working-directory', '--working-directory', [CompletionResultType]::ParameterName, 'Use <WORKING-DIRECTORY> as working directory. --justfile must also be set')
+            [CompletionResult]::new('-c', '-c', [CompletionResultType]::ParameterName, 'Run an arbitrary command with the working directory, `.env`, overrides, and exports set')
+            [CompletionResult]::new('--command', '--command', [CompletionResultType]::ParameterName, 'Run an arbitrary command with the working directory, `.env`, overrides, and exports set')
+            [CompletionResult]::new('--completions', '--completions', [CompletionResultType]::ParameterName, 'Print shell completion script for <SHELL>')
+            [CompletionResult]::new('-l', '-l', [CompletionResultType]::ParameterName, 'List available recipes in <MODULE> or root if omitted')
+            [CompletionResult]::new('--list', '--list', [CompletionResultType]::ParameterName, 'List available recipes in <MODULE> or root if omitted')
+            [CompletionResult]::new('--request', '--request', [CompletionResultType]::ParameterName, 'Execute <REQUEST>. For internal testing purposes only. May be changed or removed at any time.')
+            [CompletionResult]::new('-s', '-s', [CompletionResultType]::ParameterName, 'Show recipe at <PATH>')
+            [CompletionResult]::new('--show', '--show', [CompletionResultType]::ParameterName, 'Show recipe at <PATH>')
+            [CompletionResult]::new('--usage', '--usage', [CompletionResultType]::ParameterName, 'Print recipe usage information')
+            [CompletionResult]::new('--check', '--check', [CompletionResultType]::ParameterName, 'Run `--fmt` in ''check'' mode. Exits with 0 if justfile is formatted correctly. Exits with 1 and prints a diff if formatting is required.')
+            [CompletionResult]::new('--clear-shell-args', '--clear-shell-args', [CompletionResultType]::ParameterName, 'Clear shell arguments')
+            [CompletionResult]::new('-n', '-n', [CompletionResultType]::ParameterName, 'Print what just would do without doing it')
+            [CompletionResult]::new('--dry-run', '--dry-run', [CompletionResultType]::ParameterName, 'Print what just would do without doing it')
+            [CompletionResult]::new('--explain', '--explain', [CompletionResultType]::ParameterName, 'Print recipe doc comment before running it')
+            [CompletionResult]::new('-g', '-g', [CompletionResultType]::ParameterName, 'Use global justfile')
+            [CompletionResult]::new('--global-justfile', '--global-justfile', [CompletionResultType]::ParameterName, 'Use global justfile')
+            [CompletionResult]::new('--highlight', '--highlight', [CompletionResultType]::ParameterName, 'Highlight echoed recipe lines in bold')
+            [CompletionResult]::new('--list-submodules', '--list-submodules', [CompletionResultType]::ParameterName, 'List recipes in submodules')
+            [CompletionResult]::new('--no-aliases', '--no-aliases', [CompletionResultType]::ParameterName, 'Don''t show aliases in list')
+            [CompletionResult]::new('--no-deps', '--no-deps', [CompletionResultType]::ParameterName, 'Don''t run recipe dependencies')
+            [CompletionResult]::new('--no-dotenv', '--no-dotenv', [CompletionResultType]::ParameterName, 'Don''t load `.env` file')
+            [CompletionResult]::new('--no-highlight', '--no-highlight', [CompletionResultType]::ParameterName, 'Don''t highlight echoed recipe lines in bold')
+            [CompletionResult]::new('--one', '--one', [CompletionResultType]::ParameterName, 'Forbid multiple recipes from being invoked on the command line')
+            [CompletionResult]::new('-q', '-q', [CompletionResultType]::ParameterName, 'Suppress all output')
+            [CompletionResult]::new('--quiet', '--quiet', [CompletionResultType]::ParameterName, 'Suppress all output')
+            [CompletionResult]::new('--allow-missing', '--allow-missing', [CompletionResultType]::ParameterName, 'Ignore missing recipe and module errors')
+            [CompletionResult]::new('--shell-command', '--shell-command', [CompletionResultType]::ParameterName, 'Invoke <COMMAND> with the shell used to run recipe lines and backticks')
+            [CompletionResult]::new('--timestamp', '--timestamp', [CompletionResultType]::ParameterName, 'Print recipe command timestamps')
+            [CompletionResult]::new('-u', '-u', [CompletionResultType]::ParameterName, 'Return list and summary entries in source order')
+            [CompletionResult]::new('--unsorted', '--unsorted', [CompletionResultType]::ParameterName, 'Return list and summary entries in source order')
+            [CompletionResult]::new('--unstable', '--unstable', [CompletionResultType]::ParameterName, 'Enable unstable features')
+            [CompletionResult]::new('-v', '-v', [CompletionResultType]::ParameterName, 'Use verbose output')
+            [CompletionResult]::new('--verbose', '--verbose', [CompletionResultType]::ParameterName, 'Use verbose output')
+            [CompletionResult]::new('--yes', '--yes', [CompletionResultType]::ParameterName, 'Automatically confirm all recipes.')
+            [CompletionResult]::new('--changelog', '--changelog', [CompletionResultType]::ParameterName, 'Print changelog')
+            [CompletionResult]::new('--choose', '--choose', [CompletionResultType]::ParameterName, 'Select one or more recipes to run using a binary chooser. If `--chooser` is not passed the chooser defaults to the value of $JUST_CHOOSER, falling back to `fzf`')
+            [CompletionResult]::new('--dump', '--dump', [CompletionResultType]::ParameterName, 'Print justfile')
+            [CompletionResult]::new('-e', '-e', [CompletionResultType]::ParameterName, 'Edit justfile with editor given by $VISUAL or $EDITOR, falling back to `vim`')
+            [CompletionResult]::new('--edit', '--edit', [CompletionResultType]::ParameterName, 'Edit justfile with editor given by $VISUAL or $EDITOR, falling back to `vim`')
+            [CompletionResult]::new('--evaluate', '--evaluate', [CompletionResultType]::ParameterName, 'Evaluate and print all variables. If a variable name is given as an argument, only print that variable''s value.')
+            [CompletionResult]::new('--fmt', '--fmt', [CompletionResultType]::ParameterName, 'Format and overwrite justfile')
+            [CompletionResult]::new('--groups', '--groups', [CompletionResultType]::ParameterName, 'List recipe groups')
+            [CompletionResult]::new('--init', '--init', [CompletionResultType]::ParameterName, 'Initialize new justfile in project root')
+            [CompletionResult]::new('--man', '--man', [CompletionResultType]::ParameterName, 'Print man page')
+            [CompletionResult]::new('--summary', '--summary', [CompletionResultType]::ParameterName, 'List names of available recipes')
+            [CompletionResult]::new('--variables', '--variables', [CompletionResultType]::ParameterName, 'List names of variables')
+            [CompletionResult]::new('-h', '-h', [CompletionResultType]::ParameterName, 'Print help')
+            [CompletionResult]::new('--help', '--help', [CompletionResultType]::ParameterName, 'Print help')
+            [CompletionResult]::new('-V', '-V ', [CompletionResultType]::ParameterName, 'Print version')
+            [CompletionResult]::new('--version', '--version', [CompletionResultType]::ParameterName, 'Print version')
+            break
+        }
+    })
+
+    function Get-JustFileRecipes([string[]]$CommandElements) {
+        $justFileIndex = $commandElements.IndexOf("--justfile");
+
+        if ($justFileIndex -ne -1 -and $justFileIndex + 1 -le $commandElements.Length) {
+            $justFileLocation = $commandElements[$justFileIndex + 1]
+        }
+
+        $justArgs = @("--summary")
+
+        if (Test-Path $justFileLocation) {
+            $justArgs += @("--justfile", $justFileLocation)
+        }
+
+        $recipes = $(just @justArgs) -split ' '
+        return $recipes | ForEach-Object { [CompletionResult]::new($_) }
+    }
+
+    $elementValues = $commandElements | Select-Object -ExpandProperty Value
+    $recipes = Get-JustFileRecipes -CommandElements $elementValues
+    $completions += $recipes
+    $completions.Where{ $_.CompletionText -like "$wordToComplete*" } |
+        Sort-Object -Property ListItemText
+}

just-bin/completions/just.zsh

@@ -0,0 +1,181 @@
+#compdef just
+
+autoload -U is-at-least
+
+_just() {
+    typeset -A opt_args
+    typeset -a _arguments_options
+    local ret=1
+
+    if is-at-least 5.2; then
+        _arguments_options=(-s -S -C)
+    else
+        _arguments_options=(-s -C)
+    fi
+
+    local context curcontext="$curcontext" state line
+    local common=(
+'(--no-aliases)--alias-style=[Set list command alias display style]: :(left right separate)' \
+'--ceiling=[Do not ascend above <CEILING> directory when searching for a justfile.]: :_files' \
+'--chooser=[Override binary invoked by \`--choose\`]: :_default' \
+'--color=[Print colorful output]: :(always auto never)' \
+'--command-color=[Echo recipe lines in <COMMAND-COLOR>]: :(black blue cyan green purple red yellow)' \
+'--cygpath=[Use binary at <CYGPATH> to convert between unix and Windows paths.]: :_files' \
+'(-E --dotenv-path)--dotenv-filename=[Search for environment file named <DOTENV-FILENAME> instead of \`.env\`]: :_default' \
+'-E+[Load <DOTENV-PATH> as environment file instead of searching for one]: :_files' \
+'--dotenv-path=[Load <DOTENV-PATH> as environment file instead of searching for one]: :_files' \
+'--dump-format=[Dump justfile as <FORMAT>]:FORMAT:(json just)' \
+'-f+[Use <JUSTFILE> as justfile]: :_files' \
+'--justfile=[Use <JUSTFILE> as justfile]: :_files' \
+'--list-heading=[Print <TEXT> before list]:TEXT:_default' \
+'--list-prefix=[Print <TEXT> before each list item]:TEXT:_default' \
+'*--set=[Override <VARIABLE> with <VALUE>]: :(_just_variables)' \
+'--shell=[Invoke <SHELL> to run recipes]: :_default' \
+'*--shell-arg=[Invoke shell with <SHELL-ARG> as an argument]: :_default' \
+'--tempdir=[Save temporary files to <TEMPDIR>.]: :_files' \
+'--timestamp-format=[Timestamp format string]: :_default' \
+'-d+[Use <WORKING-DIRECTORY> as working directory. --justfile must also be set]: :_files' \
+'--working-directory=[Use <WORKING-DIRECTORY> as working directory. --justfile must also be set]: :_files' \
+'*-c+[Run an arbitrary command with the working directory, \`.env\`, overrides, and exports set]: :_default' \
+'*--command=[Run an arbitrary command with the working directory, \`.env\`, overrides, and exports set]: :_default' \
+'--completions=[Print shell completion script for <SHELL>]:SHELL:(bash elvish fish nushell powershell zsh)' \
+'()-l+[List available recipes in <MODULE> or root if omitted]' \
+'()--list=[List available recipes in <MODULE> or root if omitted]' \
+'--request=[Execute <REQUEST>. For internal testing purposes only. May be changed or removed at any time.]: :_default' \
+'-s+[Show recipe at <PATH>]: :(_just_commands)' \
+'--show=[Show recipe at <PATH>]: :(_just_commands)' \
+'()--usage=[Print recipe usage information]:PATH:_default' \
+'--check[Run \`--fmt\` in '\''check'\'' mode. Exits with 0 if justfile is formatted correctly. Exits with 1 and prints a diff if formatting is required.]' \
+'--clear-shell-args[Clear shell arguments]' \
+'(-q --quiet)-n[Print what just would do without doing it]' \
+'(-q --quiet)--dry-run[Print what just would do without doing it]' \
+'--explain[Print recipe doc comment before running it]' \
+'(-f --justfile -d --working-directory)-g[Use global justfile]' \
+'(-f --justfile -d --working-directory)--global-justfile[Use global justfile]' \
+'--highlight[Highlight echoed recipe lines in bold]' \
+'--list-submodules[List recipes in submodules]' \
+'--no-aliases[Don'\''t show aliases in list]' \
+'--no-deps[Don'\''t run recipe dependencies]' \
+'--no-dotenv[Don'\''t load \`.env\` file]' \
+'--no-highlight[Don'\''t highlight echoed recipe lines in bold]' \
+'--one[Forbid multiple recipes from being invoked on the command line]' \
+'(-n --dry-run)-q[Suppress all output]' \
+'(-n --dry-run)--quiet[Suppress all output]' \
+'--allow-missing[Ignore missing recipe and module errors]' \
+'--shell-command[Invoke <COMMAND> with the shell used to run recipe lines and backticks]' \
+'--timestamp[Print recipe command timestamps]' \
+'-u[Return list and summary entries in source order]' \
+'--unsorted[Return list and summary entries in source order]' \
+'--unstable[Enable unstable features]' \
+'*-v[Use verbose output]' \
+'*--verbose[Use verbose output]' \
+'--yes[Automatically confirm all recipes.]' \
+'--changelog[Print changelog]' \
+'--choose[Select one or more recipes to run using a binary chooser. If \`--chooser\` is not passed the chooser defaults to the value of \$JUST_CHOOSER, falling back to \`fzf\`]' \
+'--dump[Print justfile]' \
+'-e[Edit justfile with editor given by \$VISUAL or \$EDITOR, falling back to \`vim\`]' \
+'--edit[Edit justfile with editor given by \$VISUAL or \$EDITOR, falling back to \`vim\`]' \
+'--evaluate[Evaluate and print all variables. If a variable name is given as an argument, only print that variable'\''s value.]' \
+'--fmt[Format and overwrite justfile]' \
+'--groups[List recipe groups]' \
+'--init[Initialize new justfile in project root]' \
+'--man[Print man page]' \
+'--summary[List names of available recipes]' \
+'--variables[List names of variables]' \
+'-h[Print help]' \
+'--help[Print help]' \
+'-V[Print version]' \
+'--version[Print version]' \
+)
+
+    _arguments "${_arguments_options[@]}" $common \
+        '1: :_just_commands' \
+        '*: :->args' \
+        && ret=0
+
+    case $state in
+        args)
+            curcontext="${curcontext%:*}-${words[2]}:"
+
+            local lastarg=${words[${#words}]}
+            local recipe
+
+            local cmds; cmds=(
+                ${(s: :)$(_call_program commands just --summary)}
+            )
+
+            # Find first recipe name
+            for ((i = 2; i < $#words; i++ )) do
+                if [[ ${cmds[(I)${words[i]}]} -gt 0 ]]; then
+                    recipe=${words[i]}
+                    break
+                fi
+            done
+
+            if [[ $lastarg = */* ]]; then
+                # Arguments contain slash would be recognised as a file
+                _arguments -s -S $common '*:: :_files'
+            elif [[ $lastarg = *=* ]]; then
+                # Arguments contain equal would be recognised as a variable
+                _message "value"
+            elif [[ $recipe ]]; then
+                # Show usage message
+                _message "`just --show $recipe`"
+                # Or complete with other commands
+                #_arguments -s -S $common '*:: :_just_commands'
+            else
+                _arguments -s -S $common '*:: :_just_commands'
+            fi
+        ;;
+    esac
+
+    return ret
+
+}
+
+(( $+functions[_just_commands] )) ||
+_just_commands() {
+    [[ $PREFIX = -* ]] && return 1
+    integer ret=1
+    local variables; variables=(
+        ${(s: :)$(_call_program commands just --variables)}
+    )
+    local commands; commands=(
+        ${${${(M)"${(f)$(_call_program commands just --list)}":#    *}/ ##/}/ ##/:Args: }
+    )
+
+    if compset -P '*='; then
+        case "${${words[-1]%=*}#*=}" in
+            *) _message 'value' && ret=0 ;;
+        esac
+    else
+        _describe -t variables 'variables' variables -qS "=" && ret=0
+        _describe -t commands 'just commands' commands "$@"
+    fi
+
+}
+
+if [ "$funcstack[1]" = "_just" ]; then
+    (( $+functions[_just_variables] )) ||
+_just_variables() {
+    [[ $PREFIX = -* ]] && return 1
+    integer ret=1
+    local variables; variables=(
+        ${(s: :)$(_call_program commands just --variables)}
+    )
+
+    if compset -P '*='; then
+        case "${${words[-1]%=*}#*=}" in
+            *) _message 'value' && ret=0 ;;
+        esac
+    else
+        _describe -t variables 'variables' variables && ret=0
+    fi
+
+    return ret
+}
+
+_just "$@"
+else
+    compdef _just just
+fi

just-bin/just.1

@@ -0,0 +1,294 @@
+.ie \n(.g .ds Aq \(aq
+.el .ds Aq '
+.TH just 1  "just 1.46.0" 
+.SH NAME
+just \- 🤖 Just a command runner \- https://github.com/casey/just
+.SH SYNOPSIS
+\fBjust\fR [\fB\-\-alias\-style\fR] [\fB\-\-ceiling\fR] [\fB\-\-check\fR] [\fB\-\-chooser\fR] [\fB\-\-clear\-shell\-args\fR] [\fB\-\-color\fR] [\fB\-\-command\-color\fR] [\fB\-\-cygpath\fR] [\fB\-\-dotenv\-filename\fR] [\fB\-E\fR|\fB\-\-dotenv\-path\fR] [\fB\-n\fR|\fB\-\-dry\-run\fR] [\fB\-\-dump\-format\fR] [\fB\-\-explain\fR] [\fB\-g\fR|\fB\-\-global\-justfile\fR] [\fB\-\-highlight\fR] [\fB\-f\fR|\fB\-\-justfile\fR] [\fB\-\-list\-heading\fR] [\fB\-\-list\-prefix\fR] [\fB\-\-list\-submodules\fR] [\fB\-\-no\-aliases\fR] [\fB\-\-no\-deps\fR] [\fB\-\-no\-dotenv\fR] [\fB\-\-no\-highlight\fR] [\fB\-\-one\fR] [\fB\-q\fR|\fB\-\-quiet\fR] [\fB\-\-allow\-missing\fR] [\fB\-\-set\fR] [\fB\-\-shell\fR] [\fB\-\-shell\-arg\fR] [\fB\-\-shell\-command\fR] [\fB\-\-tempdir\fR] [\fB\-\-timestamp\fR] [\fB\-\-timestamp\-format\fR] [\fB\-u\fR|\fB\-\-unsorted\fR] [\fB\-\-unstable\fR] [\fB\-v\fR|\fB\-\-verbose\fR]... [\fB\-d\fR|\fB\-\-working\-directory\fR] [\fB\-\-yes\fR] [\fB\-\-changelog\fR] [\fB\-\-choose\fR] [\fB\-c\fR|\fB\-\-command\fR] [\fB\-\-completions\fR] [\fB\-\-dump\fR] [\fB\-e\fR|\fB\-\-edit\fR] [\fB\-\-evaluate\fR] [\fB\-\-fmt\fR] [\fB\-\-groups\fR] [\fB\-\-init\fR] [\fB\-l\fR|\fB\-\-list\fR] [\fB\-\-man\fR] [\fB\-s\fR|\fB\-\-show\fR] [\fB\-\-summary\fR] [\fB\-\-usage\fR] [\fB\-\-variables\fR] [\fB\-h\fR|\fB\-\-help\fR] [\fB\-V\fR|\fB\-\-version\fR] [\fIARGUMENTS\fR] 
+.SH DESCRIPTION
+🤖 Just a command runner \- https://github.com/casey/just
+.SH OPTIONS
+.TP
+\fB\-\-alias\-style\fR [default: right]
+Set list command alias display style
+.br
+
+.br
+[\fIpossible values: \fRleft, right, separate]
+.RS
+May also be specified with the \fBJUST_ALIAS_STYLE\fR environment variable. 
+.RE
+.TP
+\fB\-\-ceiling\fR
+Do not ascend above <CEILING> directory when searching for a justfile.
+.RS
+May also be specified with the \fBJUST_CEILING\fR environment variable. 
+.RE
+.TP
+\fB\-\-check\fR
+Run `\-\-fmt` in \*(Aqcheck\*(Aq mode. Exits with 0 if justfile is formatted correctly. Exits with 1 and prints a diff if formatting is required.
+.TP
+\fB\-\-chooser\fR
+Override binary invoked by `\-\-choose`
+.RS
+May also be specified with the \fBJUST_CHOOSER\fR environment variable. 
+.RE
+.TP
+\fB\-\-clear\-shell\-args\fR
+Clear shell arguments
+.TP
+\fB\-\-color\fR [default: auto]
+Print colorful output
+.br
+
+.br
+[\fIpossible values: \fRalways, auto, never]
+.RS
+May also be specified with the \fBJUST_COLOR\fR environment variable. 
+.RE
+.TP
+\fB\-\-command\-color\fR
+Echo recipe lines in <COMMAND\-COLOR>
+.br
+
+.br
+[\fIpossible values: \fRblack, blue, cyan, green, purple, red, yellow]
+.RS
+May also be specified with the \fBJUST_COMMAND_COLOR\fR environment variable. 
+.RE
+.TP
+\fB\-\-cygpath\fR [default: cygpath]
+Use binary at <CYGPATH> to convert between unix and Windows paths.
+.RS
+May also be specified with the \fBJUST_CYGPATH\fR environment variable. 
+.RE
+.TP
+\fB\-\-dotenv\-filename\fR
+Search for environment file named <DOTENV\-FILENAME> instead of `.env`
+.TP
+\fB\-E\fR, \fB\-\-dotenv\-path\fR
+Load <DOTENV\-PATH> as environment file instead of searching for one
+.TP
+\fB\-n\fR, \fB\-\-dry\-run\fR
+Print what just would do without doing it
+.RS
+May also be specified with the \fBJUST_DRY_RUN\fR environment variable. 
+.RE
+.TP
+\fB\-\-dump\-format\fR \fI<FORMAT>\fR [default: just]
+Dump justfile as <FORMAT>
+.br
+
+.br
+[\fIpossible values: \fRjson, just]
+.RS
+May also be specified with the \fBJUST_DUMP_FORMAT\fR environment variable. 
+.RE
+.TP
+\fB\-\-explain\fR
+Print recipe doc comment before running it
+.RS
+May also be specified with the \fBJUST_EXPLAIN\fR environment variable. 
+.RE
+.TP
+\fB\-g\fR, \fB\-\-global\-justfile\fR
+Use global justfile
+.TP
+\fB\-\-highlight\fR
+Highlight echoed recipe lines in bold
+.RS
+May also be specified with the \fBJUST_HIGHLIGHT\fR environment variable. 
+.RE
+.TP
+\fB\-f\fR, \fB\-\-justfile\fR
+Use <JUSTFILE> as justfile
+.RS
+May also be specified with the \fBJUST_JUSTFILE\fR environment variable. 
+.RE
+.TP
+\fB\-\-list\-heading\fR \fI<TEXT>\fR [default: Available recipes:
+]
+Print <TEXT> before list
+.RS
+May also be specified with the \fBJUST_LIST_HEADING\fR environment variable. 
+.RE
+.TP
+\fB\-\-list\-prefix\fR \fI<TEXT>\fR [default:     ]
+Print <TEXT> before each list item
+.RS
+May also be specified with the \fBJUST_LIST_PREFIX\fR environment variable. 
+.RE
+.TP
+\fB\-\-list\-submodules\fR
+List recipes in submodules
+.RS
+May also be specified with the \fBJUST_LIST_SUBMODULES\fR environment variable. 
+.RE
+.TP
+\fB\-\-no\-aliases\fR
+Don\*(Aqt show aliases in list
+.RS
+May also be specified with the \fBJUST_NO_ALIASES\fR environment variable. 
+.RE
+.TP
+\fB\-\-no\-deps\fR
+Don\*(Aqt run recipe dependencies
+.RS
+May also be specified with the \fBJUST_NO_DEPS\fR environment variable. 
+.RE
+.TP
+\fB\-\-no\-dotenv\fR
+Don\*(Aqt load `.env` file
+.RS
+May also be specified with the \fBJUST_NO_DOTENV\fR environment variable. 
+.RE
+.TP
+\fB\-\-no\-highlight\fR
+Don\*(Aqt highlight echoed recipe lines in bold
+.RS
+May also be specified with the \fBJUST_NO_HIGHLIGHT\fR environment variable. 
+.RE
+.TP
+\fB\-\-one\fR
+Forbid multiple recipes from being invoked on the command line
+.RS
+May also be specified with the \fBJUST_ONE\fR environment variable. 
+.RE
+.TP
+\fB\-q\fR, \fB\-\-quiet\fR
+Suppress all output
+.RS
+May also be specified with the \fBJUST_QUIET\fR environment variable. 
+.RE
+.TP
+\fB\-\-allow\-missing\fR
+Ignore missing recipe and module errors
+.RS
+May also be specified with the \fBJUST_ALLOW_MISSING\fR environment variable. 
+.RE
+.TP
+\fB\-\-set\fR \fI<VARIABLE>\fR\fI \fR\fI<VALUE>\fR
+Override <VARIABLE> with <VALUE>
+.TP
+\fB\-\-shell\fR
+Invoke <SHELL> to run recipes
+.TP
+\fB\-\-shell\-arg\fR
+Invoke shell with <SHELL\-ARG> as an argument
+.TP
+\fB\-\-shell\-command\fR
+Invoke <COMMAND> with the shell used to run recipe lines and backticks
+.TP
+\fB\-\-tempdir\fR
+Save temporary files to <TEMPDIR>.
+.RS
+May also be specified with the \fBJUST_TEMPDIR\fR environment variable. 
+.RE
+.TP
+\fB\-\-timestamp\fR
+Print recipe command timestamps
+.RS
+May also be specified with the \fBJUST_TIMESTAMP\fR environment variable. 
+.RE
+.TP
+\fB\-\-timestamp\-format\fR [default: %H:%M:%S]
+Timestamp format string
+.RS
+May also be specified with the \fBJUST_TIMESTAMP_FORMAT\fR environment variable. 
+.RE
+.TP
+\fB\-u\fR, \fB\-\-unsorted\fR
+Return list and summary entries in source order
+.RS
+May also be specified with the \fBJUST_UNSORTED\fR environment variable. 
+.RE
+.TP
+\fB\-\-unstable\fR
+Enable unstable features
+.RS
+May also be specified with the \fBJUST_UNSTABLE\fR environment variable. 
+.RE
+.TP
+\fB\-v\fR, \fB\-\-verbose\fR
+Use verbose output
+.RS
+May also be specified with the \fBJUST_VERBOSE\fR environment variable. 
+.RE
+.TP
+\fB\-d\fR, \fB\-\-working\-directory\fR
+Use <WORKING\-DIRECTORY> as working directory. \-\-justfile must also be set
+.RS
+May also be specified with the \fBJUST_WORKING_DIRECTORY\fR environment variable. 
+.RE
+.TP
+\fB\-\-yes\fR
+Automatically confirm all recipes.
+.RS
+May also be specified with the \fBJUST_YES\fR environment variable. 
+.RE
+.TP
+\fB\-h\fR, \fB\-\-help\fR
+Print help
+.TP
+\fB\-V\fR, \fB\-\-version\fR
+Print version
+.TP
+[\fIARGUMENTS\fR]
+Overrides and recipe(s) to run, defaulting to the first recipe in the justfile
+.SH COMMANDS
+.TP
+\fB\-\-changelog\fR
+Print changelog
+.TP
+\fB\-\-choose\fR
+Select one or more recipes to run using a binary chooser. If `\-\-chooser` is not passed the chooser defaults to the value of $JUST_CHOOSER, falling back to `fzf`
+.TP
+\fB\-c\fR, \fB\-\-command\fR
+Run an arbitrary command with the working directory, `.env`, overrides, and exports set
+.TP
+\fB\-\-completions\fR \fI<SHELL>\fR
+Print shell completion script for <SHELL>
+.br
+
+.br
+[\fIpossible values: \fRbash, elvish, fish, nushell, powershell, zsh]
+.TP
+\fB\-\-dump\fR
+Print justfile
+.TP
+\fB\-e\fR, \fB\-\-edit\fR
+Edit justfile with editor given by $VISUAL or $EDITOR, falling back to `vim`
+.TP
+\fB\-\-evaluate\fR
+Evaluate and print all variables. If a variable name is given as an argument, only print that variable\*(Aqs value.
+.TP
+\fB\-\-fmt\fR
+Format and overwrite justfile
+.TP
+\fB\-\-groups\fR
+List recipe groups
+.TP
+\fB\-\-init\fR
+Initialize new justfile in project root
+.TP
+\fB\-l\fR, \fB\-\-list\fR [\fI<MODULE>...\fR]
+List available recipes in <MODULE> or root if omitted
+.TP
+\fB\-\-man\fR
+Print man page
+.TP
+\fB\-s\fR, \fB\-\-show\fR \fI<PATH>...\fR
+Show recipe at <PATH>
+.TP
+\fB\-\-summary\fR
+List names of available recipes
+.TP
+\fB\-\-usage\fR \fI<PATH>...\fR
+Print recipe usage information
+.TP
+\fB\-\-variables\fR
+List names of variables
+.SH VERSION
+v1.46.0
+.SH AUTHORS
+Casey Rodarmor <casey@rodarmor.com>

mars.just

@@ -0,0 +1,35 @@
+import "fail.just"
+
+BUILD_DIR := "build"
+
+# FAIL* variables
+
+FAIL_SERVER_PORT := "22941"
+RESULTBROWSER_PORT := "22941"
+FAIL_BIN := "bin"
+FAIL_SHARE := "share"
+BOCHS_RUNNER := f"{{FAIL_BIN}}/bochs-experiment-runner.py"
+FAIL_TRACE := f"{{FAIL_BIN}}/fail-x86-tracing"
+FAIL_DUMP := f"{{FAIL_BIN}}/dump-trace"
+FAIL_IMPORT := f"{{FAIL_BIN}}/import-trace"
+FAIL_PRUNE := f"{{FAIL_BIN}}/prune-trace"
+FAIL_SERVER := f"{{FAIL_BIN}}/generic-experiment-server"
+FAIL_INJECT := f"{{FAIL_BIN}}/generic-experiment-client"
+RESULT_BROWSER := f"{{FAIL_BIN}}/resultbrowser.py"
+
+# =================================================================================================================== #
+# Helper recipes
+# =================================================================================================================== #
+
+[default]
+[private]
+list:
+    @./just --list --unsorted
+
+# Create a database:
+# - mysql -u smchurla -p
+# - CREATE DATABASE database_name;
+# - SHOW DATABASES;
+
+procs:
+    ps -u smchurla

nixos.just

@@ -0,0 +1,209 @@
+import "wasm.just"
+import "fail.just"
+
+BUILD_DIR := "build"
+
+# Load environment variables set by "nix develop"-shell
+
+FAIL_SHARE := env("FAIL_SHARE")
+WASI_ROOT := env("WASI_ROOT")
+WAMR_ROOT := env("WAMR_ROOT")
+LIBIWASM_DEBUG := env("LIBIWASM_DEBUG")
+LIBIWASM_RELEASE := env("LIBIWASM_RELEASE")
+LIBIWASM_LINUX_DEBUG := env("LIBIWASM_LINUX_DEBUG")
+LIBIWASM_LINUX_RELEASE := env("LIBIWASM_LINUX_RELEASE")
+CROSS_CC := env("CROSS_CC")
+LINUX_CC := env("LINUX_CC")
+
+# FAIL* variables
+
+FAIL_SERVER_PORT := "1111"
+RESULTBROWSER_PORT := "5000"
+BOCHS_RUNNER := "bochs-experiment-runner.py"
+FAIL_TRACE := "fail-x86-tracing"
+FAIL_DUMP := "dump-trace"
+FAIL_IMPORT := "import-trace"
+FAIL_PRUNE := "prune-trace"
+FAIL_SERVER := "generic-experiment-server"
+FAIL_INJECT := "generic-experiment-client"
+RESULT_BROWSER := "resultbrowser.py"
+
+# =================================================================================================================== #
+# Helper recipes
+# =================================================================================================================== #
+
+[default]
+[private]
+list:
+    @just --list
+
+[private]
+create-build-dir module:
+    mkdir -p {{ BUILD_DIR }}-{{ module }}
+
+[doc("Delete the build directory")]
+clean module:
+    rm -rf {{ BUILD_DIR }}-{{ module }}
+
+# =================================================================================================================== #
+# MySQL recipes
+# =================================================================================================================== #
+
+[doc("Start MySQL container to receive FAIL* trace/campaign results")]
+[group("3: fail db")]
+start-db:
+    docker run -d \
+        --name fail-db \
+        -e MYSQL_ROOT_PASSWORD=fail \
+        -e MYSQL_USER=fail \
+        -e MYSQL_PASSWORD=fail \
+        -e MYSQL_DATABASE=fail \
+        -p 3306:3306 \
+        mysql
+
+[doc("Connect to MySQL database using DBeaver")]
+[group("3: fail db")]
+connect-db:
+    dbeaver -con "name=fail|driver=mysql|host=localhost|port=3306|database=fail|user=fail|password=fail"
+
+[doc("Stop MySQL container")]
+[group("3: fail db")]
+stop-db:
+    docker stop fail-db
+
+[doc("Remove MySQL container")]
+[group("3: fail db")]
+remove-db:
+    docker container rm fail-db
+
+# =================================================================================================================== #
+# Debugging recipes
+# =================================================================================================================== #
+
+[doc("Launch gdb")]
+[group("debug")]
+gdb module:
+    gdb --tui {{ BUILD_DIR }}-{{ module }}/system.elf
+
+# [doc("Launch radare2 at address and disassemble")]
+# [group("debug")]
+# r2 module addr="dbg.os_main":
+#     # -e asm.section=true
+#     # -e asm.bytes=true
+#     radare2 -AA \
+#         -c "f TARGET @ {{ addr }}; s {{ addr }}; pd-- 30" \
+#         -e asm.syntax=intel \
+#         -e asm.lines=false \
+#         -e asm.xrefs=true \
+#         -e asm.flags=true \
+#         -e asm.comments=true \
+#         -e asm.functions=true \
+#         -e asm.var=true \
+#         -e asm.cmt.right=true \
+#         -e asm.dwarf=true \
+#         -e asm.pseudo=false \
+#         -e asm.describe=false \
+#         -e bin.relocs.apply=true \
+#         {{ BUILD_DIR }}-{{ module }}/system.elf
+
+[doc("Launch radare2 at address (interactive)")]
+[group("debug")]
+r2i module addr="dbg.os_main":
+    # -e asm.section=true
+    # -e asm.bytes=true
+    radare2 -AA \
+        -c "s {{ addr }}" \
+        -e scr.color=3 \
+        -e scr.scrollbar=0 \
+        -e scr.responsive=true \
+        -e scr.interactive=true \
+        -e scr.utf8=true \
+        -e scr.utf8.curvy=true \
+        -e asm.syntax=intel \
+        -e asm.lines=false \
+        -e asm.xrefs=true \
+        -e asm.flags=true \
+        -e asm.comments=true \
+        -e asm.functions=true \
+        -e asm.var=true \
+        -e asm.cmt.right=true \
+        -e asm.dwarf=true \
+        -e asm.pseudo=false \
+        -e asm.describe=false \
+        -e bin.relocs.apply=true \
+        {{ BUILD_DIR }}-{{ module }}/system.elf
+
+# =================================================================================================================== #
+# Just do it
+# =================================================================================================================== #
+
+[doc("Perform all steps for a fail/linux/linux-bm build with aot/interp WASM")]
+[group("5: just do it")]
+build module target="fail" mode="aot":
+    #!/usr/bin/env sh
+    just clean {{ module }}
+    just create-build-dir {{ module }}
+
+    if [ "{{ mode }}" = "aot" ]; then
+        just build-wasm-module {{ module }}
+        just build-wasm-aot {{ module }}
+        just build-wasm-aot-array {{ module }}
+
+        just prepare-aot-host {{ module }} {{ target }}
+        just build-wasm-host {{ module }} {{ target }}
+
+        just build-system-startup {{ module }} {{ target }}
+        just build-system-syscalls {{ module }} {{ target }}
+        just link-system {{ module }} {{ target }}
+    elif [ "{{ mode }}" = "interp" ]; then
+        just build-wasm-module {{ module }}
+        just build-wasm-interp-array {{ module }}
+
+        just prepare-interp-host {{ module }} {{ target }}
+        just build-wasm-host {{ module }} {{ target }}
+
+        just build-system-startup {{ module }} {{ target }}
+        just build-system-syscalls {{ module }} {{ target }}
+        just link-system {{ module }} {{ target }}
+    elif [ "{{ mode }}" = "c" ]; then
+        just build-c-module {{ module }} {{ target }}
+
+        just build-c-host {{ module }} {{ target }}
+
+        just build-system-startup {{ module }} {{ target }}
+        just link-c-system {{ module }} {{ target }}
+    else
+        echo "unknown mode: {{ mode }}" >&2
+        exit 1
+    fi
+
+    just build-iso {{ module }}
+
+[doc("Run binary")]
+[group("5: just do it")]
+run module:
+    {{ BUILD_DIR }}-{{ module }}/system.elf
+
+[doc("Send binaries to mars")]
+[group("5: just do it")]
+upload module:
+    scp -r {{ BUILD_DIR }}-{{ module }} mars:~/Documents/failnix/{{ BUILD_DIR }}-{{ module }}
+
+[doc("Send markers to local")]
+[group("5: just do it")]
+download-markers:
+    scp mars:~/Documents/failnix/markers.csv ./markers.csv
+
+[doc("Perform all steps for a FAIL* campaign")]
+[group("5: just do it")]
+inject module:
+    just start-db
+    @echo "Waiting for database..."
+    sleep 20
+
+    just trace {{ module }}
+    just import {{ module }}
+    just server {{ module }}
+    just client {{ module }}
+    just result {{ module }}
+    just resultbrowser

targets/c-host/fail.c

@@ -0,0 +1,17 @@
+#include "lib.h"
+
+int wasm_module(void);
+
+MAIN() {
+  int result;
+
+  MARKER(start_trace);
+  result = wasm_module();
+  MARKER(stop_trace);
+
+  if (result == 100) {
+    MARKER(ok_marker);
+  } else {
+    MARKER(fail_marker);
+  }
+}

targets/c-host/lib.h

@@ -0,0 +1,35 @@
+#pragma once
+
+#define INLINE __attribute__((always_inline)) inline
+#define NOINLINE __attribute__((noinline))
+
+#define __QUOTE(x) #x
+#define QUOTE(x) __QUOTE(x)
+
+#ifndef ARCH_ASM_CLOBBER_ALL
+#define ARCH_ASM_CLOBBER_ALL "eax", "ebx", "ecx", "edx", "esi", "edi", "ebp"
+#endif
+
+#ifndef MARKER
+#define MARKER(str)                                                            \
+  __asm__ volatile(QUOTE(str) ":"                                              \
+                   : /* no inputs */                                           \
+                   : /* no outputs */                                          \
+                   : "memory", ARCH_ASM_CLOBBER_ALL)
+#endif
+
+#ifndef MAIN
+#define MAIN() void os_main(void)
+#endif
+
+#ifndef POSIX_PRINTF
+#define POSIX_PRINTF(...)
+#endif
+
+typedef __UINT8_TYPE__ uint8_t;
+typedef __UINT16_TYPE__ uint16_t;
+typedef __UINT32_TYPE__ uint32_t;
+
+typedef __INT8_TYPE__ int8_t;
+typedef __INT16_TYPE__ int16_t;
+typedef __INT32_TYPE__ int32_t;

targets/c-host/linux.c

@@ -0,0 +1,15 @@
+#include <stdio.h>
+
+int wasm_module(void);
+
+int main(int argc, char *argv[]) {
+  int result = wasm_module();
+
+  if (result == 100) {
+    printf("OK Marker\n");
+    return 0;
+  } else {
+    printf("FAIL Marker\n");
+    return 1;
+  }
+}

targets/grub.cfg

@@ -0,0 +1,7 @@
+set timeout=0
+set default=0
+
+menuentry "CoRedOS" {
+	multiboot /boot/system.elf
+	boot
+}

targets/linker.ld

@@ -0,0 +1,82 @@
+/* Kernel entry function */
+ENTRY(_start)
+
+OUTPUT_FORMAT(elf32-i386)
+
+SECTIONS {
+
+    /DISCARD/ : {
+        *(".text.inlined*")
+        *(.comment)
+        *(.eh_frame)
+        *(.note.gnu.build-id)
+    }
+
+    /* Set kernel start address */
+    . = 0x100000;
+
+    /* Code and readonly data */
+    .text : {
+        /* fill gaps with int3 opcode to detect invalid jumps */
+        /* TODO: Crashes */
+        FILL(0xcc)
+
+        /* multiboot header */
+        multiboot_header = .;
+        KEEP (*(".rodata.multiboot"))
+
+        /* /\* fixed address for IRQ handlers *\/ */
+        /* . = 0x1000; */
+
+        /* /\* start of interrupt handlers *\/ */
+        /* _stext_irqs = .; */
+
+        /* /\* IRQ Handlers *\/ */
+        /* KEEP (*(".text.irqhandlers*")) /\* ASM *\/ */
+        /* KEEP (*(".text.irq_handler*")) /\* C *\/ */
+        /* *(".text.isrs*") /\* C *\/ */
+        /* *(".text.isr_*") /\* C *\/ */
+        /* KEEP (*(".text.OSEKOS_ISR*")) */
+        /* KEEP (*(".text.idt")) /\* ASM *\/ */
+
+        /* /\* sysenter handler *\/ */
+        /* KEEP (*(".text.sysenter_syscall")) */
+
+        /* _etext_irqs = .; */
+        /* . += 16; /\* padding after data, workaround for import-trace *\/ */
+
+        KEEP (*(".text.startup"))
+        *(".text*")
+        *(".rodata*")
+    }
+
+    /* Data and Stacks */
+    . = 0x200000;
+    .data : {
+        KEEP (*(".startup_stack"))
+        KEEP (*(".kernel_stack"))
+        *(".data*")
+    }
+
+    /* Uninitialized data */
+    .bss : {
+        _sbss = .;
+        *(.bss*)
+        *(COMMON)
+        _ebss = .;
+    }
+
+    /* Align and mark end of all sections — heap starts here */
+    . = ALIGN(4096);
+    _end = .;
+
+    /* Memory-mapped I/O APIC */
+    _sioapic = 0xFEC00000;
+    ioapic = 0xFEC00000;
+    _eioapic = 0xFEC00FFF;
+
+    /* Memory-mapped Local APIC */
+    _slapic = 0xFEE00000;
+    lapic = 0xFEE00000;
+    _elapic = 0xFEE00FFF;
+}

targets/startup.s

@@ -0,0 +1,110 @@
+## Bare bone boot.s from wiki.osdev.org
+
+# multiboot header
+.section .rodata.multiboot
+.align 4
+
+# magic number
+.long 0x1BADB002
+
+# flags: align, meminfo
+.long 0x3
+
+# checksum: -(magic+flags)
+.long -(0x1BADB002 + 0x3)
+
+# the initial kernel stack
+.section .kernel_stack
+.global os_stack
+.size os_stack, 4096
+
+# NOTE: New Start
+
+# .section .gdt
+# gdt_start:
+#     .quad 0x0000000000000000 # null descriptor
+#     .quad 0x00cf9a000000ffff # code segment descriptor: base=0, limit=4GB, 32-bit code
+#     .quad 0x00cf92000000ffff # data segment descriptor: base=0, limit=4GB, 32-bit data
+# gdt_end:
+#
+# gdt_descriptor:
+#     .word gdt_end - gdt_start - 1 # limit
+#     .long gdt_start # base
+#
+# .section .idt
+# idt_table:
+#     .space 256*8 # 256 entries x 8 bytes each
+# idt_descriptor:
+#     .word 256*8-1 # limit
+#     .long idt_table # base
+
+# NOTE: New End
+
+#.Lstack_bottom:
+os_stack:
+    .byte 0
+    .skip 65565 # 64 KiB
+    # .skip 16384 # 16 KiB
+    # .skip 4094 # 4 KiB
+    .byte 0
+    .Lstack_top:
+
+
+# The linker script specifies _start as the entry point to the kernel and the
+# bootloader will jump to this position once the kernel has been loaded. It
+# doesn't make sense to return from this function as the bootloader is gone.
+.section .text.startup
+.global _start
+.type _start, @function
+_start:
+# NOTE: Old Start
+
+	# Welcome to kernel mode!
+	# To set up a stack, we simply set the esp register to point to the top of
+	# our stack (as it grows downwards).
+	movl $.Lstack_top, %esp
+	# We are now ready to actually execute C code. (see ./startup.cc)
+	call os_main
+
+	# In case the function returns, we'll want to put the computer into an
+	# infinite loop. To do that, we use the clear interrupt ('cli') instruction
+	# to disable interrupts, the halt instruction ('hlt') to stop the CPU until
+	# the next interrupt arrives, and jumping to the halt instruction if it ever
+	# continues execution, just to be safe. We will create a local label rather
+	# than real symbol and jump to there endlessly.
+	cli
+	hlt
+.Lhang:
+	jmp .Lhang
+
+# NOTE: Old End
+
+# NOTE: New Start
+
+#     cli
+#
+#     lgdt gdt_descriptor # GDT
+#     lidt idt_descriptor # IDT Stub
+#
+#     # set up segment registers (flat 32-bit)
+#     movw $0x10, %ax
+#     movw %ax, %ds
+#     movw %ax, %es
+#     movw %ax, %fs
+#     movw %ax, %gs
+#     movw %ax, %ss
+#     movl $.Lstack_top, %esp # set stack
+#
+#     # call main C function
+#     call os_main
+#
+#     cli
+#     hlt
+# .Lhang:
+#     jmp .Lhang
+
+# NOTE: New End
+
+# Set the size of the _start symbol to the current location '.' minus its start.
+# This is useful when debugging or when you implement call tracing.
+.size _start, . - _start

targets/syscalls.c

@@ -0,0 +1,35 @@
+#include <errno.h>
+#include <sys/stat.h>
+
+extern char _end; /* provided by linker script */
+static char *heap_ptr = &_end;
+
+void *sbrk(int incr) {
+  char *prev = heap_ptr;
+  heap_ptr += incr;
+  return prev;
+}
+
+int write(int fd, const char *buf, int len) { return len; }
+
+int read(int fd, char *buf, int len) { return 0; }
+int close(int fd) { return -1; }
+int fstat(int fd, struct stat *st) {
+  st->st_mode = S_IFCHR;
+  return 0;
+}
+int isatty(int fd) { return 1; }
+int lseek(int fd, int offset, int whence) { return 0; }
+void _exit(int status) {
+  while (1)
+    ;
+}
+void exit(int status) {
+  while (1)
+    ;
+}
+int kill(int pid, int sig) {
+  errno = EINVAL;
+  return -1;
+}
+int getpid(void) { return 1; }

targets/wasm-host/fail.c

@@ -0,0 +1,79 @@
+#include "lib.h"
+
+#include "bh_platform.h"
+#include "wasm_export.h"
+
+#include "__WASM_ARRAY_FILE__"
+
+#define STACK_SIZE (4 * 1024)
+#define HEAP_SIZE STACK_SIZE
+#define RUNTIME_POOL_SIZE 4 * STACK_SIZE
+
+MAIN() {
+  char error_buf[128];
+  wasm_module_t module;
+  wasm_module_inst_t module_inst;
+  wasm_function_inst_t func;
+  wasm_exec_env_t exec_env;
+
+  /* initialize the wasm runtime */
+  static char global_heap_buf[RUNTIME_POOL_SIZE];
+  static RuntimeInitArgs init_args;
+  memset(&init_args, 0, sizeof(RuntimeInitArgs));
+
+  init_args.mem_alloc_type = Alloc_With_Pool;
+  init_args.mem_alloc_option.pool.heap_buf = global_heap_buf;
+  init_args.mem_alloc_option.pool.heap_size = sizeof(global_heap_buf);
+  init_args.max_thread_num = 1;
+  if (!wasm_runtime_full_init(&init_args)) {
+    return;
+  }
+
+  /* parse the WASM file from buffer and create a WASM module */
+  module = wasm_runtime_load(__WASM_ARRAY__, __WASM_ARRAY_LEN__, error_buf,
+                             sizeof(error_buf));
+
+  if (!module) {
+    return;
+  }
+
+  /* create an instance of the WASM module (WASM linear memory is ready) */
+  module_inst = wasm_runtime_instantiate(module, STACK_SIZE, HEAP_SIZE,
+                                         error_buf, sizeof(error_buf));
+
+  if (!module_inst) {
+    return;
+  }
+
+  /* lookup a WASM function by its name, the function signature can NULL here */
+  func = wasm_runtime_lookup_function(module_inst, "wasm_module");
+
+  /* create an execution environment to execute arbitrary WASM functions */
+  exec_env = wasm_runtime_create_exec_env(module_inst, STACK_SIZE);
+
+  /* arguments are always transferred in 32-bit element */
+  uint32_t args[1] = {0};
+
+  /* call an arbitrary WASM function */
+  MARKER(start_trace);
+  if (!wasm_runtime_call_wasm(exec_env, func, 0, args)) {
+    /* function wasn't called correctly */
+  }
+  MARKER(stop_trace);
+
+  uint32_t result = args[0];
+
+  /* the return value is stored in args[0] */
+  if (result == 100) {
+    MARKER(ok_marker);
+  } else {
+    MARKER(fail_marker);
+  }
+
+  wasm_runtime_destroy_exec_env(exec_env);
+  wasm_runtime_deinstantiate(module_inst);
+  wasm_runtime_unload(module);
+  wasm_runtime_destroy();
+
+  return;
+}

targets/wasm-host/lib.h

@@ -0,0 +1,35 @@
+#pragma once
+
+#define INLINE __attribute__((always_inline)) inline
+#define NOINLINE __attribute__((noinline))
+
+#define __QUOTE(x) #x
+#define QUOTE(x) __QUOTE(x)
+
+#ifndef ARCH_ASM_CLOBBER_ALL
+#define ARCH_ASM_CLOBBER_ALL "eax", "ebx", "ecx", "edx", "esi", "edi", "ebp"
+#endif
+
+#ifndef MARKER
+#define MARKER(str)                                                            \
+  __asm__ volatile(QUOTE(str) ":"                                              \
+                   : /* no inputs */                                           \
+                   : /* no outputs */                                          \
+                   : "memory", ARCH_ASM_CLOBBER_ALL)
+#endif
+
+#ifndef MAIN
+#define MAIN() void os_main(void)
+#endif
+
+#ifndef POSIX_PRINTF
+#define POSIX_PRINTF(...)
+#endif
+
+typedef __UINT8_TYPE__ uint8_t;
+typedef __UINT16_TYPE__ uint16_t;
+typedef __UINT32_TYPE__ uint32_t;
+
+typedef __INT8_TYPE__ int8_t;
+typedef __INT16_TYPE__ int16_t;
+typedef __INT32_TYPE__ int32_t;

targets/wasm-host/linux-baremetal.c

@@ -0,0 +1,74 @@
+#include "bh_platform.h"
+#include "wasm_export.h"
+
+#include "__WASM_ARRAY_FILE__"
+
+#define STACK_SIZE (4 * 1024)
+#define HEAP_SIZE STACK_SIZE
+#define RUNTIME_POOL_SIZE (4 * STACK_SIZE)
+
+int main(int argc, char *argv[]) {
+  char error_buf[128];
+  wasm_module_t module;
+  wasm_module_inst_t module_inst;
+  wasm_function_inst_t func;
+  wasm_exec_env_t exec_env;
+
+  /* initialize the wasm runtime */
+  static char global_heap_buf[RUNTIME_POOL_SIZE];
+  static RuntimeInitArgs init_args;
+  memset(&init_args, 0, sizeof(RuntimeInitArgs));
+
+  init_args.mem_alloc_type = Alloc_With_Pool;
+  init_args.mem_alloc_option.pool.heap_buf = global_heap_buf;
+  init_args.mem_alloc_option.pool.heap_size = sizeof(global_heap_buf);
+  init_args.max_thread_num = 1;
+  if (!wasm_runtime_full_init(&init_args)) {
+    return 1;
+  }
+
+  /* parse the WASM file from buffer and create a WASM module */
+  module = wasm_runtime_load(__WASM_ARRAY__, __WASM_ARRAY_LEN__, error_buf,
+                             sizeof(error_buf));
+
+  if (!module) {
+    return 1;
+  }
+
+  /* create an instance of the WASM module (WASM linear memory is ready) */
+  module_inst = wasm_runtime_instantiate(module, STACK_SIZE, HEAP_SIZE,
+                                         error_buf, sizeof(error_buf));
+
+  if (!module_inst) {
+    return 1;
+  }
+
+  /* lookup a WASM function by its name, the function signature can NULL here */
+  func = wasm_runtime_lookup_function(module_inst, "wasm_module");
+
+  /* create an execution environment to execute arbitrary WASM functions */
+  exec_env = wasm_runtime_create_exec_env(module_inst, STACK_SIZE);
+
+  /* arguments are always transferred in 32-bit element */
+  uint32_t args[1] = {0};
+
+  /* call an arbitrary WASM function */
+  if (!wasm_runtime_call_wasm(exec_env, func, 0, args)) {
+    /* function wasn't called correctly */
+    return 1;
+  }
+
+  /* the return value is stored in args[0] */
+  uint32_t result = args[0];
+
+  wasm_runtime_destroy_exec_env(exec_env);
+  wasm_runtime_deinstantiate(module_inst);
+  wasm_runtime_unload(module);
+  wasm_runtime_destroy();
+
+  if (result == 100) {
+    return 0;
+  } else {
+    return 1;
+  }
+}

targets/wasm-host/linux.c

@@ -0,0 +1,80 @@
+#include "bh_platform.h"
+#include "wasm_export.h"
+
+#include "__WASM_ARRAY_FILE__"
+#include <stdio.h>
+
+#define STACK_SIZE (4 * 1024)
+#define HEAP_SIZE STACK_SIZE
+#define RUNTIME_POOL_SIZE 4 * STACK_SIZE
+
+int main(int argc, char *argv[]) {
+  char error_buf[128];
+  wasm_module_t module;
+  wasm_module_inst_t module_inst;
+  wasm_function_inst_t func;
+  wasm_exec_env_t exec_env;
+
+  /* initialize the wasm runtime */
+  static char global_heap_buf[RUNTIME_POOL_SIZE];
+  static RuntimeInitArgs init_args;
+  memset(&init_args, 0, sizeof(RuntimeInitArgs));
+
+  // init_args.mem_alloc_type = Alloc_With_System_Allocator;
+  init_args.mem_alloc_type = Alloc_With_Pool;
+  init_args.mem_alloc_option.pool.heap_buf = global_heap_buf;
+  init_args.mem_alloc_option.pool.heap_size = sizeof(global_heap_buf);
+  init_args.max_thread_num = 1;
+  if (!wasm_runtime_full_init(&init_args)) {
+    return 1;
+  }
+
+  /* parse the WASM file from buffer and create a WASM module */
+  module = wasm_runtime_load(__WASM_ARRAY__, __WASM_ARRAY_LEN__, error_buf,
+                             sizeof(error_buf));
+
+  if (!module) {
+    printf("Load failed: %s\n", error_buf);
+    return 1;
+  }
+
+  /* create an instance of the WASM module (WASM linear memory is ready) */
+  module_inst = wasm_runtime_instantiate(module, STACK_SIZE, HEAP_SIZE,
+                                         error_buf, sizeof(error_buf));
+
+  if (!module_inst) {
+    printf("Inst failed: %s\n", error_buf);
+    return 1;
+  }
+
+  /* lookup a WASM function by its name, the function signature can NULL here */
+  func = wasm_runtime_lookup_function(module_inst, "wasm_module");
+
+  /* create an execution environment to execute arbitrary WASM functions */
+  exec_env = wasm_runtime_create_exec_env(module_inst, STACK_SIZE);
+
+  /* arguments are always transferred in 32-bit element */
+  uint32_t args[1] = {0};
+
+  /* call an arbitrary WASM function */
+  if (!wasm_runtime_call_wasm(exec_env, func, 0, args)) {
+    /* function wasn't called correctly */
+    printf("Failed to call function 'wasm_module'!\n");
+  }
+
+  /* the return value is stored in args[0] */
+  uint32_t result = args[0];
+
+  wasm_runtime_destroy_exec_env(exec_env);
+  wasm_runtime_deinstantiate(module_inst);
+  wasm_runtime_unload(module);
+  wasm_runtime_destroy();
+
+  if (result == 100) {
+    printf("OK Marker\n");
+    return 0;
+  } else {
+    printf("FAIL Marker\n");
+    return 1;
+  }
+}

targets/wasm-module/sum.c

@@ -0,0 +1,7 @@
+int wasm_module(void) {
+  int sum = 0;
+  for (int i = 0; i < 100; ++i) {
+    sum += 1;
+  }
+  return sum;
+}

wasm.just

@@ -0,0 +1,343 @@
+# =================================================================================================================== #
+# Build WASM module recipes
+# =================================================================================================================== #
+
+WASI_CC := f"{{WASI_ROOT}}/bin/clang"
+WASI_CFLAGS := "\
+--target=wasm32 \
+--sysroot={{WASI_ROOT}}/share/wasi-sysroot \
+-z stack-size=4096 \
+-O0 \
+-nostdlib \
+-Wl,--no-entry \
+-Wl,--export-all \
+-Wl,--no-gc-sections \
+-Wl,--initial-memory=65536 \
+-Wl,--export=__heap_base \
+-Wl,--export=__data_end \
+"
+CROSS_CFLAGS_NOWASM := "\
+-m32 \
+-ffunction-sections \
+-fdata-sections \
+-ffreestanding \
+-fomit-frame-pointer \
+-ggdb \
+"
+CROSS_LDFLAGS_NOWASM := "\
+-Wl,--build-id=none \
+-static \
+-nostdlib \
+-m32 \
+-lc \
+-lgcc \
+-lm \
+"
+LINUX_CFLAGS_NOWASM := "\
+-O0 \
+-m32 \
+-ffunction-sections \
+-fdata-sections \
+-ggdb \
+"
+LINUX_LDFLAGS_NOWASM := "\
+-Wl,--build-id=none \
+-m32 \
+-lm \
+"
+WAMRC := "wamrc"
+WAMRCFLAGS := "\
+--target=i386 \
+--cpu=generic \
+--opt-level=0 \
+"
+XXD := "xxd"
+
+[doc("C -> WASM: Compile a C function to a WASM module using WASI-SDK")]
+[group("1: build module")]
+build-wasm-module module:
+    {{ WASI_CC }} {{ WASI_CFLAGS }} targets/wasm-module/{{ module }}.c -o {{ BUILD_DIR }}-{{ module }}/wasm_module.wasm
+
+[doc("WASM -> AOT: Compile a WASM module ahead-of-time using WAMR")]
+[group("1: build module")]
+build-wasm-aot module:
+    {{ WAMRC }} {{ WAMRCFLAGS }} -o {{ BUILD_DIR }}-{{ module }}/wasm_module.aot {{ BUILD_DIR }}-{{ module }}/wasm_module.wasm
+
+[doc("AOT -> C-Array: Dump a WASM module compiled ahead-of-time to a binary array")]
+[group("1: build module")]
+build-wasm-aot-array module:
+    {{ XXD }} -i {{ BUILD_DIR }}-{{ module }}/wasm_module.aot > {{ BUILD_DIR }}-{{ module }}/wasm_aot_array.c
+
+[doc("WASM -> C-Array: Dump a WASM module to a binary array")]
+[group("1: build module")]
+build-wasm-interp-array module:
+    {{ XXD }} -i {{ BUILD_DIR }}-{{ module }}/wasm_module.wasm > {{ BUILD_DIR }}-{{ module }}/wasm_interp_array.c
+
+[private]
+build-c-module-fail module:
+    {{ CROSS_CC }} {{ CROSS_CFLAGS_NOWASM }} \
+      -c targets/wasm-module/{{ module }}.c \
+      -o {{ BUILD_DIR }}-{{ module }}/c_module.o
+
+[private]
+build-c-module-linux module:
+    {{ LINUX_CC }} {{ LINUX_CFLAGS_NOWASM }} \
+      -c targets/wasm-module/{{ module }}.c \
+      -o {{ BUILD_DIR }}-{{ module }}/c_module.o
+
+[doc("C -> Object: Compile a C function (no WASM)")]
+[group("1: build module")]
+build-c-module module target="fail":
+    #!/usr/bin/env sh
+    if [ "{{ target }}" = "fail" ]; then
+        just build-c-module-fail "{{ module }}"
+    elif [ "{{ target }}" = "linux" ]; then
+        just build-c-module-linux "{{ module }}"
+    else
+        echo "unknown target: {{ target }}" >&2
+        exit 1
+    fi
+
+# =================================================================================================================== #
+# Host program recipes
+# =================================================================================================================== #
+# FAIL*
+
+CROSS_CFLAGS := f"-I./targets/wasm-host {{CROSS_CFLAGS_NOWASM}} -O2"
+CROSS_LDFLAGS := f"-L{{LIBIWASM_RELEASE}} -liwasm {{CROSS_LDFLAGS_NOWASM}}"
+CROSS_INCLUDES := f"\
+-I{{WAMR_ROOT}}/core/iwasm/include \
+-I{{WAMR_ROOT}}/core/shared/utils \
+-I{{WAMR_ROOT}}/core/shared/platform/baremetal \
+"
+
+# LINUX-POSIX
+
+LINUX_CFLAGS := f"-I./targets/wasm-host {{ LINUX_CFLAGS_NOWASM }}"
+LINUX_LDFLAGS := f"-Wl,-rpath,{{LIBIWASM_LINUX_DEBUG}} -L{{LIBIWASM_LINUX_DEBUG}} -liwasm {{LINUX_LDFLAGS_NOWASM}}"
+LINUX_INCLUDES := f"\
+-I{{WAMR_ROOT}}/core/iwasm/include \
+-I{{WAMR_ROOT}}/core/shared/utils \
+-I{{WAMR_ROOT}}/core/shared/platform/linux \
+"
+
+# LINUX-Baremetal
+
+LINUX_BAREMETAL_CFLAGS := "\
+-I./targets/wasm-host \
+-O0 \
+-m32 \
+-ffunction-sections \
+-fdata-sections \
+-ffreestanding \
+-ggdb \
+"
+LINUX_BAREMETAL_LDFLAGS := f"\
+-Wl,--build-id=none \
+-static \
+-nostdlib \
+-m32 \
+-L{{LIBIWASM_DEBUG}} \
+-liwasm \
+-lc \
+-lgcc \
+-lm \
+--entry main \
+"
+LINUX_BAREMETAL_INCLUDES := f"\
+-I{{WAMR_ROOT}}/core/iwasm/include \
+-I{{WAMR_ROOT}}/core/shared/utils \
+-I{{WAMR_ROOT}}/core/shared/platform/baremetal \
+"
+
+[doc("Insert the AOT array into the host program")]
+[group("2: build host")]
+prepare-aot-host module target="fail":
+    cp targets/wasm-host/{{ target }}.c {{ BUILD_DIR }}-{{ module }}/module_host.c
+    sed -i \
+        -e "s/__WASM_ARRAY_FILE__/wasm_aot_array.c/g" \
+        -e "s/__WASM_ARRAY__/build_{{ module }}_wasm_module_aot/g" \
+        -e "s/__WASM_ARRAY_LEN__/build_{{ module }}_wasm_module_aot_len/g" \
+        {{ BUILD_DIR }}-{{ module }}/module_host.c
+
+[doc("Insert the WASM array into the host program")]
+[group("2: build host")]
+prepare-interp-host module target="fail":
+    cp targets/wasm-host/{{ target }}.c {{ BUILD_DIR }}-{{ module }}/module_host.c
+    sed -i \
+        -e "s/__WASM_ARRAY_FILE__/wasm_interp_array.c/g" \
+        -e "s/__WASM_ARRAY__/build_{{ module }}_wasm_module_wasm/g" \
+        -e "s/__WASM_ARRAY_LEN__/build_{{ module }}_wasm_module_wasm_len/g" \
+        {{ BUILD_DIR }}-{{ module }}/module_host.c
+
+[private]
+build-wasm-host-fail module:
+    {{ CROSS_CC }} {{ CROSS_CFLAGS }} {{ CROSS_INCLUDES }} \
+      -c {{ BUILD_DIR }}-{{ module }}/module_host.c \
+      -o {{ BUILD_DIR }}-{{ module }}/system.o
+
+[private]
+build-wasm-host-linux module:
+    {{ LINUX_CC }} {{ LINUX_CFLAGS }} {{ LINUX_INCLUDES }} \
+      -c {{ BUILD_DIR }}-{{ module }}/module_host.c \
+      -o {{ BUILD_DIR }}-{{ module }}/system.o
+
+[private]
+build-wasm-host-linux-baremetal module:
+    {{ CROSS_CC }} {{ LINUX_BAREMETAL_CFLAGS }} {{ LINUX_BAREMETAL_INCLUDES }} \
+      -c {{ BUILD_DIR }}-{{ module }}/module_host.c \
+      -o {{ BUILD_DIR }}-{{ module }}/system.o
+
+[doc("Compile C-Host: The host uses WAMR to load the WASM/AOT module")]
+[group("2: build host")]
+build-wasm-host module target="fail":
+    #!/usr/bin/env sh
+    if [ "{{ target }}" = "fail" ]; then
+        just build-wasm-host-fail "{{ module }}"
+    elif [ "{{ target }}" = "linux" ]; then
+        just build-wasm-host-linux "{{ module }}"
+    elif [ "{{ target }}" = "linux-baremetal" ]; then
+        just build-wasm-host-linux-baremetal "{{ module }}"
+    else
+        echo "unknown target: {{ target }}" >&2
+        exit 1
+    fi
+
+[private]
+build-c-host-fail module:
+    {{ CROSS_CC }} {{ CROSS_CFLAGS_NOWASM }} \
+      -c targets/c-host/fail.c \
+      -o {{ BUILD_DIR }}-{{ module }}/c_host.o
+
+[private]
+build-c-host-linux module:
+    {{ LINUX_CC }} {{ LINUX_CFLAGS_NOWASM }} \
+      -c targets/c-host/linux.c \
+      -o {{ BUILD_DIR }}-{{ module }}/c_host.o
+
+
+[doc("Insert the C function into the host program (no WASM)")]
+[group("2: build host")]
+build-c-host module target="fail":
+    #!/usr/bin/env sh
+    if [ "{{ target }}" = "fail" ]; then
+        just build-c-host-fail "{{ module }}"
+    elif [ "{{ target }}" = "linux" ]; then
+        just build-c-host-linux "{{ module }}"
+    else
+        echo "unknown target: {{ target }}" >&2
+        exit 1
+    fi
+
+[private]
+build-system-startup-fail module:
+    {{ CROSS_CC }} targets/startup.s {{ CROSS_CFLAGS }} -c -o {{ BUILD_DIR }}-{{ module }}/startup.o
+
+[doc("Compile bootloader")]
+[group("2: build host")]
+build-system-startup module target="fail":
+    #!/usr/bin/env sh
+    if [ "{{ target }}" = "fail" ]; then
+        just build-system-startup-fail "{{ module }}"
+    else
+        echo "{{ target }} doesn't need bootloader"
+    fi
+
+[private]
+build-system-syscalls-fail module:
+    {{ CROSS_CC }} targets/syscalls.c {{ CROSS_CFLAGS }} -c -o {{ BUILD_DIR }}-{{ module }}/syscalls.o
+
+[private]
+build-system-syscalls-linux-baremetal module:
+    {{ CROSS_CC }} targets/syscalls.c {{ LINUX_BAREMETAL_CFLAGS }} -c -o {{ BUILD_DIR }}-{{ module }}/syscalls.o
+
+[doc("Compile newlib syscall stubs")]
+[group("2: build host")]
+build-system-syscalls module target="fail":
+    #!/usr/bin/env sh
+    if [ "{{ target }}" = "fail" ]; then
+        just build-system-syscalls-fail "{{ module }}"
+    elif [ "{{ target }}" = "linux-baremetal" ]; then
+        just build-system-syscalls-linux-baremetal "{{ module }}"
+    else
+        echo "{{ target }} doesn't require syscall stubs"
+    fi
+
+[private]
+link-system-fail module:
+    {{ CROSS_CC }} \
+        -Wl,-T targets/linker.ld \
+        {{ BUILD_DIR }}-{{ module }}/system.o \
+        {{ BUILD_DIR }}-{{ module }}/startup.o \
+        {{ BUILD_DIR }}-{{ module }}/syscalls.o \
+        {{ CROSS_LDFLAGS }} \
+        -o {{ BUILD_DIR }}-{{ module }}/system.elf
+
+[private]
+link-system-linux module:
+    {{ LINUX_CC }} \
+        {{ BUILD_DIR }}-{{ module }}/system.o \
+        {{ LINUX_LDFLAGS }} \
+        -o {{ BUILD_DIR }}-{{ module }}/system.elf
+
+[private]
+link-system-linux-baremetal module:
+    {{ CROSS_CC }} \
+        {{ BUILD_DIR }}-{{ module }}/system.o \
+        {{ BUILD_DIR }}-{{ module }}/syscalls.o \
+        {{ LINUX_BAREMETAL_LDFLAGS }} \
+        -o {{ BUILD_DIR }}-{{ module }}/system.elf
+
+[doc("Link C-Host, syscall stubs and bootloader")]
+[group("2: build host")]
+link-system module target="fail":
+    #!/usr/bin/env sh
+    if [ "{{ target }}" = "fail" ]; then
+        just link-system-fail "{{ module }}"
+    elif [ "{{ target }}" = "linux" ]; then
+        just link-system-linux "{{ module }}"
+    elif [ "{{ target }}" = "linux-baremetal" ]; then
+        just link-system-linux-baremetal "{{ module }}"
+    else
+        echo "unknown target: {{ target }}" >&2
+        exit 1
+    fi
+
+[private]
+link-c-system-fail module:
+    {{ CROSS_CC }} \
+        -Wl,-T targets/linker.ld \
+        {{ BUILD_DIR }}-{{ module }}/c_host.o \
+        {{ BUILD_DIR }}-{{ module }}/startup.o \
+        {{ BUILD_DIR }}-{{ module }}/c_module.o \
+        {{ CROSS_LDFLAGS_NOWASM }} \
+        -o {{ BUILD_DIR }}-{{ module }}/system.elf
+
+[private]
+link-c-system-linux module:
+    {{ LINUX_CC }} \
+        {{ BUILD_DIR }}-{{ module }}/c_host.o \
+        {{ BUILD_DIR }}-{{ module }}/c_module.o \
+        {{ LINUX_LDFLAGS_NOWASM }} \
+        -o {{ BUILD_DIR }}-{{ module }}/system.elf
+
+[doc("Link C-Host, C-function and bootloader")]
+[group("2: build host")]
+link-c-system module target="fail":
+    #!/usr/bin/env sh
+    if [ "{{ target }}" = "fail" ]; then
+        just link-c-system-fail "{{ module }}"
+    elif [ "{{ target }}" = "linux" ]; then
+        just link-c-system-linux "{{ module }}"
+    else
+        echo "unknown target: {{ target }}" >&2
+        exit 1
+    fi
+
+[doc("Create bootdisk")]
+[group("2: build host")]
+build-iso module:
+    mkdir -p {{ BUILD_DIR }}-{{ module }}/grub/boot/grub
+    cp targets/grub.cfg {{ BUILD_DIR }}-{{ module }}/grub/boot/grub/
+    cp {{ BUILD_DIR }}-{{ module }}/system.elf {{ BUILD_DIR }}-{{ module }}/grub/boot/
+    grub-mkrescue -o {{ BUILD_DIR }}-{{ module }}/system.iso {{ BUILD_DIR }}-{{ module }}/grub