1. 16 Jun, 2021 1 commit
    • Jimmy Brush's avatar
      update to rust 1.55.0-nightly · 1c0adb2e
      Jimmy Brush authored
      - const_fn feature is no longer required
      - update compiler_builtins version
      - explicitly specify att syntax for x86 global_asm!(). The default
      appears to have changed to intel syntax.
      1c0adb2e
  2. 03 Jun, 2021 1 commit
    • Ben's avatar
      Expose ergonomic move between usize and capability types · dda745bd
      Ben authored
      There is currently no ergonomic means to get the underlying usize
      out of a capability, or to make a capability out of a usize. This allows
      the following replacement:
      
      ```
      // old usage
      let cap_cpy = unsafe { sel4::CNode::from(
          sel4::Cap::from_usize(
              sel4.CPtr::from_useze(
                  cap.as_ref().as_cptr().as_usize()
              )
          )
      )};
      ```
      ```
      // new usage
      let cap_cpy = unsafe {sel4::CNode::from_usize(cap.as_usize)};
      ```
      
      This is not ideal, as it doesn't help the problem of how leverage rust
      to manage capabilities safely, but in the meantime, it provides the
      same functionality in a more usable way.
      dda745bd
  3. 28 May, 2021 1 commit
  4. 29 Mar, 2021 1 commit
  5. 28 Mar, 2021 1 commit
  6. 24 Sep, 2020 3 commits
  7. 23 Sep, 2020 2 commits
  8. 22 Sep, 2020 2 commits
  9. 20 Sep, 2020 2 commits
  10. 14 Sep, 2020 3 commits
  11. 12 Sep, 2020 2 commits
    • Jimmy Brush's avatar
      fix endpoint::call() error check · ea4193ae
      Jimmy Brush authored
      ea4193ae
    • Jimmy Brush's avatar
      teach receive operations about bound endpoints · e8371b11
      Jimmy Brush authored
      Receive operations now return a Receive enum that can either be an IPC
      message or a notification.
      
      Which is received is determined by the badge value. There is a global
      bitmask that, if set, specifies which bit values in a badge indicate a
      notification.
      
      The user will be responsible for telling us what this mask will be, but
      that isn't implemented yet.
      e8371b11
  12. 11 Sep, 2020 11 commits
  13. 07 Sep, 2020 4 commits
  14. 06 Sep, 2020 2 commits
  15. 05 Sep, 2020 1 commit
  16. 01 Sep, 2020 1 commit
  17. 29 Aug, 2020 2 commits