[tredre3]

SerenityOS has (partially) working ports for both ARM and RISC-V already:

https://github.com/SerenityOS/serenity/tree/master/Kernel/Ar...