| [package] | |
| name = "opentitan" | |
| version = "0.1.0" | |
| authors = ["Tock Project Developers <tock-dev@googlegroups.com>"] | |
| [dependencies] | |
| rv32i = { path = "../../../tock/arch/rv32i" } | |
| kernel = { path = "../../../tock/kernel" } | |
| tock-rt0 = { path = "../../../tock/libraries/tock-rt0" } |