Personal qemu branches

Updated 2 days ago

I need to write some Rust code once in a while.

Updated 1 month ago

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

Updated 1 month 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 1 month ago

The server applications for an Enma TAN generator.

Updated 2 months ago

Linux programs that use Enma remotely.

Updated 2 months ago

Modifications to L4Linux.

Updated 2 months ago

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

Updated 2 months ago

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

Updated 2 months ago

My small web gallery.

Updated 2 months ago

TrustedGRUB2 fork with modifications for L4/Enma.

Updated 2 months ago

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

Updated 3 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 4 months ago

A Flappy Bird clone in 512 bytes.

Updated 5 months ago

Scripts for interacting with QEMU

Updated 9 months ago

Some FUSE tests. Or maybe just a single one.

Updated 9 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 11 months ago

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

Updated 11 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 11 months ago

Updated 11 months ago