Find new name for the kernel #13
Description
Is your feature request related to a problem? Please describe.
The name LibertyOS is already taken by a linux distro advertising as the first blockchain operating system.
Describe the solution you'd like
Find a new name.
Describe alternatives you've considered
The alternative is not changing the name, but that would lead to confusion and this kernel's reputation might suffer by being associated with the distro mentioned above.
Additional context
Reddit post on r/rust from 2021-12-15