Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
rename directory of HermitCore's OS related files (#16)
The latest version of libstd provides a new location of the HermitCore's OS related files. The kernel depends on the latest version of libstd. Consequently, this PR renames the location.
- Loading branch information