Elektrine lite

← Feed

@regehr@mastodon.social

Post #2409986

2025-09-09 01:29 UTC

@rygorous@mastodon.gamedev.place @steve@discuss.systems I've seen part of a convincing / complete formal spec for x86 and I would run away from any effort to validate an implementation of this

Replies (1)

  • @regehr@mastodon.social @steve@discuss.systems Anecdotally, there's at least 3 (Intel, AMD, Centaur) companies that do this on the regular, and one of them (Centaur) is quite small as such things go. I wouldn't want to do it either, but the other thing you gotta keep in mind is that the CPU core, while important, is only part of a SoC and ISA has very little impact on the "everything else".

    Open ##2409987