comradelion

5 ms·

1.
Memory Safety Is Merely Table Stakes (RustConf 2025 Talk)(youtube.com)
3 points by comradelion 1y ago|0 comments
2.
by comradelion 1y ago
What would you say to libpng, libsodium, Brotli, LwIP, LittleFS, and CryptoLib? https://patpannuto.com/pubs/schuermann2025omniglot.pdf
3.
Memory safety is table stakes(usenix.org)
90 points by comradelion 1y ago|129 comments
4.
Analyzing Binary Size Bloat in Tock(tweedegolf.nl)
3 points by comradelion 2y ago|0 comments
5.
by comradelion 2y ago
Correction, it's not the EC that runs Tock, but rather the GSC (the creatively named Google Security Chip). It used to run a system called Cr50 while recent versions run Ti50, which is Tock-based.
6.
by comradelion 2y ago
It's the application that needs an OS, not the computer. It is possible (and isn't unheard of, though decreasingly common) to run software on a more featureful CPU with virtual memory and loads of RAM next door, without an OS, for
7.
by comradelion 2y ago
Oops, sorry for the misrepresentation Bryan!
8.
by comradelion 2y ago
Oh my apologies! I hadn't known about that intermediate version. I don't know of a public announcement. Tock's license is acknowledged in Chromebook's licenses and those involved in Tock know simply because that team tal
9.
by comradelion 2y ago
The vast majority of modern MCUs have enough memory protection for Tock. Anything cortex-m0+ or "better" has an MPU. RISC-Vs PMP or ePMP as well. Most 16-bit "legacy" (though still popular) MCUs don't. Virtually any
10.
by comradelion 2y ago
Shameless plug for anyone interested in these kinds of systems and near or able to travel to San Diego, that TockWolrd is happening at the end of this month and has general-audience oriented talks and tutorials for this first year! Please j
11.
by comradelion 2y ago
Good question, I don't know! I would guess it's a home baked solution, but I believe Pluton, the hardware, is changing as well (I am not an authority on this, I only know a bit from talking with the developers at Microsoft who wor
12.
by comradelion 2y ago
Nope. It used to be a home baked solution that was totally unrelated to (and pre-dates) Zephyr. I believe that is the one that is still in the ChromiumOS EC repo, but for the last year or so, it's a Tock-based system.
13.
by comradelion 2y ago
Note bcantrill's comment below for corrections of my misstatements here. Oxide was involved with Tock before building Hubris. They are similar in some ways with somewhat different "visions" for the end use case. Hubris compil
14.
by comradelion 2y ago
In principle many things, but you're mostly restricted by what you can meaningfully physically build with off the shelf parts. Prototyping with a bunch of wires on a bread board is one thing... Sticking that on your wall is another. An
15.
by comradelion 2y ago
One of the Tock maintainers here, happy to answer any questions. For some context, Tock has been around for a number of years now (we first built it in 2015). Beyond it's intended original purpose (naval gazing academic research) it ru
16.
Memory-Mapped Registers in Tock(tockos.org)
1 points by comradelion 8y ago|0 comments
17.
Virtualizing Bluetooth Low Energy Advertisements in Tock OS(tockos.org)
1 points by comradelion 9y ago|0 comments
18.
Introducing Hail, a development board for Tock embedded OS(tockos.org)
2 points by comradelion 10y ago|0 comments
19.
Talking Tock #11 – Meetings, Bluetooth and code hygiene(tockos.org)
1 points by comradelion 10y ago|0 comments
20.
Lightweight Mailing Lists for GitHub(mostlytyped.com)
1 points by comradelion 11y ago|0 comments