@joeyh @janneke I had begun working on that part a few years ago: https://gitlab.com/giomasce/asmc. Then life happened and I ran out of steam for that, but hopefully I was not too far from compiling and running Linux at computer boot time, from a handful of KB of binary code.