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

Updated 4 weeks 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

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

TrustedGRUB2 fork with modifications for L4/Enma.

Updated 3 months ago

Modifications to L4Linux.

Updated 2 months ago

My small web gallery.

Updated 4 months ago

Some FUSE tests. Or maybe just a single one.

Updated 6 months ago

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

Updated 2 weeks ago

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

Updated 8 months ago

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

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

Updated 8 months ago

Basically a library for hardware accelerated ray tracing through OpenGL 2

Updated 8 months ago

Additional packages for µxoµcota

Updated 8 months ago

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

Updated 8 months ago

Nuke Pixel Font tools

Updated 8 months ago

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

Updated 8 months ago

A fast and extensible terminal editor.

Updated 8 months ago

Implement an algorithm for genetical problems on a GPU, so the robots know even more about us when it comes to the robot apocalypse -- in that case, we for one welcome our new robot overlords

Updated 8 months ago