Lemmy: Bestiverse
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
RSS BotMB to Lobste.rsEnglish · 10 days ago

Rust on CHERIoT: Status update #0

rust.cheriot.org

external-link
message-square
0
link
fedilink
1
external-link

Rust on CHERIoT: Status update #0

rust.cheriot.org

RSS BotMB to Lobste.rsEnglish · 10 days ago
message-square
0
link
fedilink
Status update #0
rust.cheriot.org
external-link
We have been working on porting Rust to the CHERIoT platform for about half a year now. We have been busy with the implementation of fundamental features such as defining the new target, adapting the compiler to respect the nuances of a CHERI platform – starting with making the compiler aware that the size of an address is not necessarily also the size of the memory representation of a pointer – and making the core and alloc libraries compile to the newly-introduced CHERIoT target.

Comments

alert-triangle
You must log in or # to comment.

Lobste.rs

lobsters

Subscribe from Remote Instance

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !lobsters@lemmy.bestiver.se
lock
Community locked: only moderators can create posts. You can still comment on posts.

RSS Feed of lobste.rs

Source of the RSS Bot

Visibility: Public
globe

This community can be federated to other instances and be posted/commented in by their users.

  • 26 users / day
  • 127 users / week
  • 465 users / month
  • 1.4K users / 6 months
  • 2 local subscribers
  • 339 subscribers
  • 11.5K Posts
  • 629 Comments
  • Modlog
  • mods:
  • patrick
  • RSS Bot
  • BE: 0.19.15
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org