Linux. ( 1991 — 2018. )

No disrespect is intended for Stepan Mitrofanovich Gudimov (1913 – 1941), died heroically in aerial ramming maneuver… whose beautiful tomb I stole here. But IMHO a dead project of Linux’s stature deserves a tomb, even if only an imaginary and stolen one. Especially a stolen project…

This is a simple library for Ada, to replace the asinine GNATSockets item.
Supported:

Unixlike OS back-end.
Open/close datagram socket on given local IP and port.
Transmit datagrams of fixed length.
Receive (blocking) datagrams of fixed length, rejecting shorts, saving the originator’s IP/port.
Handle all possible OS error conditions.

Permanently unsupported:

Microshit back-ends.
TCP.
IPv6.
DNS.

You will need:

GNAT.
udp_genesis.vpatch

udp_genesis.vpatch.asciilifeform.sig

udp_errata.asciilifeform.vpatch

udp_errata.asciilifeform.vpatch.asciilifeform.sig

Edit (9/27) : diana_coman graciously baked a Keccak-V regrind [...]

This article is part of a series of hands-on tutorials introducing FFA, or the Finite Field Arithmetic library. FFA differs from the typical “Open Sores” abomination, in that — rather than trusting the author blindly with their lives — prospective users are expected to read and fully understand every single line. In exactly the same [...]

Edit: Step-by-step replication instructions for the skeptical experimenter.

This article is a review of what I have been able to discover regarding the Google H1, aka Cr50, aka the “G Chip”, found in all Chromebooks of recent manufacture, including the Asus C101PA, my current candidate for a full delousing attempt.
To my knowledge, there has been no [...]

The exact internals of Google’s proprietary “Suzy-Q” debugging device are, at the time of this writing, unknown.
However, I have found how to make an apparently-compatible device:

We connect the USB-C “business end” into a Asus C101PA machine; the USB-B end into a reasonable Linux PC, where we then:

echo 18d1 5014 > /sys/bus/usb-serial/drivers/generic/new_id

…and /dev/ttyUSB0 … 5 , [...]

Edit #2: Aaaand it’s solved:

echo 18d1 5014 > /sys/bus/usb-serial/drivers/generic/new_id

triggers creation of /dev/ttyUSB0 … 5 , several of which spew console log…
Example spew on boot. (Looks like RK’s UART..?)

Edit: apparently they’re USB lines! When connected as D-/D+ through a USB B-connector, to a Linux box, we get a device that enumerates with this descriptor.

The Asus C101PA [...]

The Asus C101PA is based on a Rockchip RK3399. These have a “maskrom mode”, where if the SPI EEPROM is disabled, the chip will attempt to boot from other devices: first, NAND flash, then microSD, and then finally a USB debug mode where you can attach a A-A cable and use the rkflashtool utility to [...]

Allegedly these exist! — though I have only been able to find them offered for sale by the railroad car.
For certain applications, nothing else will really suffice.
If any of my readers know of (or wish to become) a vendor offering, in (for starters) mid-three-digit quantities:

a) One Time Programmable MicroSD card
b) MicroSD card with a true [...]

Apr. 26 update: This article is obsolete, the pill — was found; if you have this machine, scroll to the end.

The Asus C101PA Chromebook is a very interesting device: it contains a Rockchip CPU, for which we already have a working deloused Gentoo; it also contains such marvels as a non-blobulous Marvell 802.11 card, a [...]

This recipe will re-create the hygienic gentoo installed on the RK pilot plant
at Pizarro. The resulting install will also contain the full set of
distfiles used in the rebuilding of the ‘world’, in /usr/portage/distfiles.
No promises are made of fitness for a particular use, or of provenance,
OTHER THAN as described above.
———
Materials
———
0 ) My PGP key
1 ) A rk3328-roc-cc [...]