Box64 and RISC-V, the challenges of wrtting the Dynarec, and benchmarks
Categories
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…
Comparing performances I decided to compare the performances of the OpenSource Linux Userspace Emulator that allows you to run x86/x86_64 apps on ARM linux. There are QEMU-user, FEX-emu and Box86/Box64. How to bench Linux userspace emulator Test will consist of the bench I already used a couple of time, and that can be run as…
Box64 running on mac M1 with Asahi
Discover how box86 & box64 are easy to use and install, and how they can be integrated in the system.