Switch to x86_64 crate
robert-w-gries opened this issue · comments
Now that i686 support has been temporarily removed, we should move to the rust-osdev/x86_64 crate.
If i686 support is added back in, we should make and use a rust-osdev/i686 library in the kernel.