OS GitHub - bendudson/EuraliOS: A hobby x86-64 operating system written in Rust DB TIDB Talent Plan Links Thesis