Personal qemu branches

Updated 3 days ago

Learning a new test system is hard, therefore I just rolled my own.

Updated 1 week ago

One TPM AIK ACA (“BACA”, which verifies that an AIK is has been freshly generated by and belongs to a TPM), and one EnmaCA (which verifies that the AIK belongs to Enma and that a given public key has been signed with that AIK).

Updated 2 weeks ago

The server applications for an Enma TAN generator.

Updated 1 month ago

Linux programs that use Enma remotely.

Updated 1 month ago

Modifications to L4Linux.

Updated 1 month ago

Formerly some fooling around with RISC-V, now mostly fooling around with virtio. Let’s see whether it’s “done” before christmas.

Updated 1 month ago

A fork of Hasklig; I don’t write Haskell and the “/=” ligature is distracting in C, so it’s disabled here.

Updated 1 month ago

My small web gallery.

Updated 1 month ago

TrustedGRUB2 fork with modifications for L4/Enma.

Updated 1 month ago

exp is a simple sticker-only integration manager for riot.im.

Updated 2 months ago

Formerly some fooling around with RISC-V, then mostly fooling around with virtio, finally mostly the original repo of RISK-V. The only difference is the S-o-bs and author/committer names. Suffice to say this is still the original.

Updated 2 months ago

A Flappy Bird clone in 512 bytes.

Updated 4 months ago

Scripts for interacting with QEMU

Updated 8 months ago

Some FUSE tests. Or maybe just a single one.

Updated 8 months ago

Converts battle records from https://github.com/poooi/plugin-battle-detail to the format understood by https://github.com/KC3Kai/kancolle-replay

Updated 10 months ago

An OS written in Ruby. Attempt at least, proof of concept at best.

Updated 10 months ago

A bit of a proof of concept of trivial i386-on-i386 virtualization. Surprisingly enough, it really works with really simple test cases (e.g., no paging).

Updated 10 months ago

Updated 10 months ago

Basically a library for hardware accelerated ray tracing through OpenGL 2

Updated 10 months ago