In a previous post, we talked about the mechanism behind library wrapping. In it, I said box86/box64 used some manually written files to correctly call functions. However, there is a big question: how are these files written? To follow this article, you will need at least a basic understanding of function signatures. The basics First,…
After sometime debugging some last issues, the new version of box64 and box86 are out. Most of the work has been done on Box64, with lots of improvments again on Emulation and Library wrapping. The CPU emulate up to SSE 4.2 now (it was only SSE 4.1 before), and it also handle the SHA extension.…
New releases of both box86 and box64 (with a silent re-release of box86 to include a critical fix for steam). While Box86 have seen little change, and was mostly fixes and some refactor to help load ELF file better, Box64 had major code contribution for this release. Box64 Dynarec now support RISC-V! Thanks to github…
Categories
Box64 and RISC-V
Box64 and RISC-V, the challenges of wrtting the Dynarec, and benchmarks
This article was initially publised for the FOSDEM 2022 virtual event. The host is gone and I’m (quickly) republishing it here. Box86 performances Like for last year, I will present a series of benchmark to try show the efficiency (or not) of box dynarec. This year, I will benchmark both box86 and box64, to show…
New version tagged for Box86 & Box64 New in those releases are a new hack for program that redirect Malloc function on box64. This allows for libcef and other chrome derivative to work now. That allows for the Full Steam client to work (including the BigPicture mode). The Heroic Launcher also works. You can connect…
Let’s try some games using Box64 on the M1, now that there is a first experimental version of the GPU driver. This driver provides OpenGL 2.1 profile, so a few games should already be working. After an update of the Asahi system, and the installation of the “edge” kernel and mesa driver, I also updated…
New version for both box86 and box64 have been tagged! More than 6 months since last release, so a lot of things changed! You can expect some more speed (like an almost x2 speed in Doom 20016 with the vulkan renderer), especially on box64, and better compatibility. With some refactor of the elf loader, programs…
Both box86 & box64 are now able to run bash. And a x86/x86_64 version of bash can also be found in the the “tests” folder of box repo. While this is a neat feature, you could wonder what could be the use of this. Well, the use is to be able to run shell script…
Categories
An axiomatic construction of math
I’ve always wondered how did we formally define the numbers starting from the ZFC (Zermelo-Fraenkel-Choice) set theory. However, I also knew that Zermelo’s axioms sets were sufficient to define “arithmetic”, as it is at least enough to prove its incompleteness (Gödel’s incompleteness theorem). So in this article, I want to write about how I managed…