Userland and toolchain for seakernel