You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Not sure if this is the right place to raise this, but when opening https://hub.docker.com/r/trustworthysystems/sel4 it still mentions the obsolete container trustworthysystems/sel4-riscv. It go the last update over 2 years ago. Similar for https://hub.docker.com/r/trustworthysystems/camkes it mentions trustworthysystems/camkes-riscv and trustworthysystems/camkes-cakeml-cogent-riscv-rust, which also have not recieved any update in the last tow years
I think the pages should be update to just mention the currently maintained container. And the dedicated RISC-V container should show on their landing page a message that they are deprecated.
Not sure if this is the right place to raise this, but when opening https://hub.docker.com/r/trustworthysystems/sel4 it still mentions the obsolete container
trustworthysystems/sel4-riscv
. It go the last update over 2 years ago. Similar for https://hub.docker.com/r/trustworthysystems/camkes it mentionstrustworthysystems/camkes-riscv
andtrustworthysystems/camkes-cakeml-cogent-riscv-rust
, which also have not recieved any update in the last tow yearsI think the pages should be update to just mention the currently maintained container. And the dedicated RISC-V container should show on their landing page a message that they are deprecated.
I also wonder, will all these containers move to https://hub.docker.com/u/sel4 eventually?
The text was updated successfully, but these errors were encountered: