Open
Description
In order to improve the build system the following points should be addressed.
- Remove cbindgen from HAL's.
- Remove cbindgen from Kernel.
- Remove bootstrap and directly call the kernel interface from startup.
- Move the HAL's to the machine folder.
- Remove cargo workspace and calculate test coverage for each component independently.