The server applications for an Enma TAN generator.

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

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

Linux programs that use Enma remotely.

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 2 weeks ago

TrustedGRUB2 fork with modifications for L4/Enma.

Updated 1 month ago

Modifications to L4Linux.

Updated 1 month ago

My small web gallery.

Updated 1 month ago

Some FUSE tests. Or maybe just a single one.

Updated 8 months ago

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

Updated 2 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

Additional packages for µxoµcota

Updated 10 months ago

Some diffs and additional files to help qemu master GBA emulation.

Updated 10 months ago

Nuke Pixel Font tools

Updated 10 months ago

Dieser Reponame wurde mir von Github vorgeschlagen und er passt wunderbar zur Übung 1 von CG1 (in Anlehnung an Sagitta Luminis).

Updated 10 months ago

A fast and extensible terminal editor.

Updated 10 months ago