/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 smist08.wordpress.com
RISC-V Emulation Revisited | Stephen Smith's Blog
| | offlinemark.com
How to set up a minimal Linux kernel dev environment on Ubuntu 20.04 - offlinemark
2.1 parsecs away

Travel
| | Here is everything you need to know to set up a minimal Linux kernel dev environment on Ubuntu 20.04. It works great on small VPS instances, is optimized for a fast development cycle, and allows you to run custom binaries to exercise the specific kernel functionality being developed. Step 1:
| | smallhacks.wordpress.com
Booting FreeBSD 13.1/arm64 on MacOS/arm64 using QEMU | smallhacks
2.7 parsecs away

Travel
| | After upgrading to Mac M1 I decided to run FreeBSD virtually. As VirtualBox is not supported on this host (and likely will never be) QEMU was the only possible choice. I found great gist post on how to do this with patched QEMU 6. The good news is that now QEMU 7 is released and...
| | rog3rsm1th.github.io
My RISC-V development environment for programming and reverse engineering purposes :: Rog3rSm1th - blog
0.5 parsecs away

Travel
| | How I set up a RISC-V development environment on my machine in order to develop RISC-V assembly programs and analyze RISC-V linux malwares.
| | github.com
GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. ยท GitHub
6.9 parsecs away

Travel
| The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. - GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML.