datadiode

import board
import digitalio
import time
import storage

storage.disable_usb_drive()

led = digitalio.DigitalInOut(board.LED)
led.direction = digitalio.Direction.OUTPUT

datadiode

REM http://pempek.net/articles/2015/10/18/compiling-qt-5-5-1-with-visual-studio-2015/
REM Set up \Microsoft Visual Studio 2015
CALL "C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\vcvarsall.bat" amd64
ECHO ON

SET _CD=%CD%
SET _PATH=%PATH%

SET ICU_SOURCE=%_CD%\tools\icu-54.1\source
SET ICU_DIST=%_CD%\tools\icu-54.1\dist-64

datadiode

<style>
button u, button p { display: inline-block; margin: 0;
    height: 2.4ex; width: 1ex; border-style: solid; }
button u:first-child { border-width: 0 1px 2px 0; }
button p:last-child { border-width: 2px 0 0 1px; }
button p:first-child { border-width: 2px 1px 0 0; }
button u:last-child { border-width: 0 0 2px 1px; }
</style>

<button><u></u><p></p></button>

datadiode

// KillTmmonThread.cpp : Defines the entry point for the console application.
//

#include "stdafx.h"

#include <stdio.h>
#include <windows.h>
#include <tlhelp32.h>
#include <tchar.h>
#include <Shlwapi.h>

datadiode

import sys
import subprocess
import csv

def describe_ucrt_lib(platform):
    lib_path = "windows-10-sdk/Lib/10.0.10240.0/ucrt/{}/ucrt.lib".format(platform)
    output = subprocess.check_output(["nm", lib_path])
    output = output.decode("utf-8")

    # Output (x86 32-bit) looks like:

datadiode

/*
 * Copyright (C) 2022 Nikolas Koesling <nikolas@koesling.info>.
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated
 * documentation files (the "Software"), to deal in the Software without restriction, including without limitation the
 * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to
 * permit persons to whom the Software is furnished to do so, subject to the following conditions:
 *
 * The above copyright notice and this permission notice shall be included in all copies or substantial portions of the
 * Software.

datadiode

VirtualBox 6.1 on Linux Mint 20.3

Redox OS v.0.7.0

• Download x86_64 UEFI SSD: https://static.redox-os.org/releases/0.7.0/redox_2022-04-28_570_harddrive-efi.bin.gz
• Extract image (.bin file) and run the following in the directory:
  • VBoxManage convertfromraw harddrive-efi.bin redox.vdi --format VDI
• Create new virtual machine
  • Type: Other
  • Version: Other/Unknown (64-bit)