kani - 64 bit multiboot toy OS written in Rust

Related tags

Utilities kani
Overview

kani - 64 bit multiboot toy OS written in Rust

Sorry, no GUI, Serial only.

Test Environment

build

Requirements

  • cargo
  • grub
  • xorriso

build kernel

$ make build-kernel

generate iso file

$ make build-iso

build kernel and generate iso file

$ make build

Release build

You set shell variable RELEASE.

$ RELEASE=1 make build

if want to run in QEMU

You set shell variable QEMU.

$ QEMU=1 make build

Run

Requirements

  • qemu-system

Run QEMU

$ make run
Comments
  • Update Rust crate bitvec to v1

    Update Rust crate bitvec to v1

    Mend Renovate

    This PR contains the following updates:

    | Package | Type | Update | Change | |---|---|---|---| | bitvec (source) | dependencies | major | 0.22 -> 1.0 |


    Release Notes

    bitvecto-rs/bitvec

    v1.0.0

    ๐Ÿšจ THIS IS A BREAKING CHANGE RELEASE! ๐Ÿšจ

    Your code has broken. You will need to change it in order to use this. This work on your part is worth it.

    This release has a great deal of changes from the 0.22 development series! Most breaking changes should have reasonable error messages indicating how they can be repaired.

    Removed APIs do not have deprecation notices! Use of removed APIs will fail to compile. You must check this changelog, or the crate documentation, to find out appropriate replacements.

    Type Parameter Reรถrdering

    The <O, T> type parameter pair that has existed since 0.10 is reversed to be <T, O>! This will cause all of your type definitions to fail, as suddenly all of your chosen type arguments do not satisfy the demanded traits.

    This change was made in accordance with [Issue #โ€‹136], requested by GitHub user [@โ€‹changhe3].

    Additional Changes
    • The MSRV is raised to 1.56.
    • BitField now supports signed integers! BitMemory is completely removed.
    • BitSlice::from_slice{,_mut} are now infallible constructors, and panic when the source is too long. The original fallible behavior is renamed to BitSlice::try_from_slice{,_mut}.
    • the {Bit,}DomainMut types have been removed. The {Bit,}Domain types now take a Mutability type parameter instead. The .{bit_,}domain{,_mut}() methods on BitSlice exist as normal, but have changed their return types to specify a Const or Mut type parameter rather than {Bit,}Domain or {Bit,}DomainMut, respectively.
    • Iter::by_{ref,val} are renamed to by_{ref,val}s, to prevent collision with Iterator::by_ref.
    • The long-standing behavior of the &=, |=, and ^= operators has been changed! They now operate directly on data structures, rather than routing through iterators. If you want to perform boolean arithmetic using arbitrary bool streams, use iterator combinators like .iter_mut().zip(stream).for_each(|(mut orig, new)| *orig ^= new). This change allows the arithmetic implementations to be accelerated when working between bit-slices of equal types.
    • BitSlice::set_all is removed, as the standard-library API [T]::fill replaces it.
    • BitSlice::offset_from is removed. Use .as_bitptr().offset_from().
    • BitSlice::as_raw_slice is removed. Use .domain() to access the underlying memory.
    Documentation

    Module and type documentation have been lifted into the doc/ tree as Markdown files. The [user guide], in book/ has been more thoroughly rewritten.

    Please file any problems or confusions about the documentation as an issue! The documentation is a project artifact equally, if not more, important as the Rust library.

    Dependency Raises

    As part of the migration of incidental logic out of bitvec, the following utility libraries have been updated:

    • funty 2.0 provides a more comprehensive coverage of the language primitives.
    • wyz 0.5 contains more logic formerly in the utility module, as well as a stronger system for generalizing over references.

    Configuration

    ๐Ÿ“… Schedule: Branch creation - "before 4am every weekend" in timezone Asia/Tokyo, Automerge - At any time (no schedule defined).

    ๐Ÿšฆ Automerge: Disabled by config. Please merge this manually once you are satisfied.

    โ™ป Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

    ๐Ÿ”• Ignore: Close this PR and you won't be reminded about this update again.


    • [ ] If you want to rebase/retry this PR, click this checkbox.

    This PR has been generated by Mend Renovate. View repository job log here.

    dependencies renovate 
    opened by renovate[bot] 0
  • Update all non-major dependencies

    Update all non-major dependencies

    Mend Renovate

    This PR contains the following updates:

    | Package | Type | Update | Change | |---|---|---|---| | linked_list_allocator (source) | dependencies | patch | 0.9.0 -> 0.9.1 | | spin | dependencies | patch | 0.9.2 -> 0.9.3 | | x86_64 | dependencies | patch | 0.14.6 -> 0.14.9 |


    Release Notes

    phil-opp/linked-list-allocator

    v0.9.1

    Compare Source

    • Add safe constructor and initialization for Heap (#โ€‹55)
    • Merge front/back padding after allocate current hole (#โ€‹54)
    mvdnes/spin-rs

    v0.9.3

    Added
    • Implemented Default for Once
    • Once::try_call_once
    Fixed
    • Fixed bug that caused Once::call_once to incorrectly fail
    rust-osdev/x86_64

    v0.14.9

    Compare Source

    New Features

    • Address in VirtAddrNotValid and PhysAddrNotValid is now public https://togithub.com/rust-osdev/x86_64/pull/340x86_64/pull/340)).
      • This field now contains the whole invalid address https://togithub.com/rust-osdev/x86_64/pull/347x86_64/pull/347)).
    • Remove all uses of external assembly https://togithub.com/rust-osdev/x86_64/pull/343x86_64/pull/343))
      • external_asm and inline_asm features are deprecated and now have no effect.
      • instructions feature (on by default) now requires Rust 1.59
      • Specific MSRV now noted in README https://togithub.com/rust-osdev/x86_64/pull/355x86_64/pull/355))
    • Implement core::iter::Step for VirtAddr and Page https://togithub.com/rust-osdev/x86_64/pull/342x86_64/pull/342))
      • This trait is only available on nightly.
      • Gated behind step_trait feature flag
    • Add UCet and SCet registers https://togithub.com/rust-osdev/x86_64/pull/349x86_64/pull/349))
    • Use rustversion to mark certian functions const fn on Rust 1.61 https://togithub.com/rust-osdev/x86_64/pull/353x86_64/pull/353))
    • Entry::handler_addr() is now public https://togithub.com/rust-osdev/x86_64/pull/354x86_64/pull/354))
    • Increase packed structure alignment https://togithub.com/rust-osdev/x86_64/pull/362x86_64/pull/362))
    • Make more address methods const fn https://togithub.com/rust-osdev/x86_64/pull/369x86_64/pull/369))
      • VirtAddr::as_ptr()
      • VirtAddr::as_mut_ptr()
      • PhysAddr::new()
      • PhysAddr::try_new()

    Bug fixes and Documentation

    • Fixed overflow bug in PageRangeInclusive https://togithub.com/rust-osdev/x86_64/pull/351x86_64/pull/351))
    • Remove stabilized const_fn_fn_ptr_basics and const_fn_trait_bound features https://togithub.com/rust-osdev/x86_64/pull/352x86_64/pull/352))
    • Don't set nomem in load_tss https://togithub.com/rust-osdev/x86_64/pull/358x86_64/pull/358))
    • Correctly initialize TSS's IOPB to be empty https://togithub.com/rust-osdev/x86_64/pull/357x86_64/pull/357))
    • Improve GlobalDescriptorTable::add_entry error handling https://togithub.com/rust-osdev/x86_64/pull/361x86_64/pull/361))
    • Update tss_segment documentation https://togithub.com/rust-osdev/x86_64/pull/366x86_64/pull/366))

    v0.14.8

    Compare Source

    • Add Cr2::read_raw https://togithub.com/rust-osdev/x86_64/pull/334x86_64/pull/334))
    • Add support for MXCSR register https://togithub.com/rust-osdev/x86_64/pull/336x86_64/pull/336))

    v0.14.7

    Compare Source

    • fix: build error on the latest nightly https://togithub.com/rust-osdev/x86_64/pull/329x86_64/pull/329))
    • add set_general_handler macro https://togithub.com/rust-osdev/x86_64/pull/285x86_64/pull/285))
    • Derive common traits for number, range and enum types https://togithub.com/rust-osdev/x86_64/pull/315x86_64/pull/315))
    • Add the VMM Communication Exception (#VC) to the InterruptDescriptorTable https://togithub.com/rust-osdev/x86_64/pull/313x86_64/pull/313))
    • fix: enable manipulation of InterruptStackFrame https://togithub.com/rust-osdev/x86_64/pull/312x86_64/pull/312))
    • fix docs for page_table_index https://togithub.com/rust-osdev/x86_64/pull/318x86_64/pull/318))
    • Remove redundant alignment check https://togithub.com/rust-osdev/x86_64/pull/314x86_64/pull/314))
    • fix(idt): fix panic messages for index and #VC https://togithub.com/rust-osdev/x86_64/pull/321x86_64/pull/321))
    • remove const_assert! in favor of std's assert! https://togithub.com/rust-osdev/x86_64/pull/326x86_64/pull/326))
    • Move bootloader integration test to separate CI job https://togithub.com/rust-osdev/x86_64/pull/330x86_64/pull/330))

    Configuration

    ๐Ÿ“… Schedule: Branch creation - "before 4am every weekend" in timezone Asia/Tokyo, Automerge - At any time (no schedule defined).

    ๐Ÿšฆ Automerge: Enabled.

    โ™ป Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

    ๐Ÿ‘ป Immortal: This PR will be recreated if closed unmerged. Get config help if that's undesired.


    • [ ] If you want to rebase/retry this PR, click this checkbox.

    This PR has been generated by Mend Renovate. View repository job log here.

    dependencies renovate 
    opened by renovate[bot] 0
  • Update Rust crate conquer-once to 0.3.2 [SECURITY]

    Update Rust crate conquer-once to 0.3.2 [SECURITY]

    Mend Renovate

    This PR contains the following updates:

    | Package | Type | Update | Change | |---|---|---|---| | conquer-once | dependencies | minor | 0.2.0 -> 0.3.2 |

    GitHub Vulnerability Alerts

    CVE-2020-36208

    An issue was discovered in the conquer-once crate before 0.3.2 for Rust. Thread crossing can occur for a non-Send but Sync type, leading to memory corruption.


    Release Notes

    oliver-giersch/conquer-once

    v0.3.2

    • fixes potential UB due to insufficiently strict bounds on Sync implementation for OnceCell (see Issue #โ€‹3)

    v0.3.1

    Compare Source

    • fixes an apparent regression, requiring a new compiler than the stated 1.36.0

    v0.3.0

    • mostly internal refactorings
    • adds the noblock module containing types which only allow non-blocking initialization
    • raw is renamed to doc and hidden from documentation, but linked to from within the docs
    • the Spin marker type is no longer exported
    Release 0.3.1
    • fixes an apparent regression, requiring a new compiler than the stated 1.36.0
    Release 0.3.2
    • fixes potential UB due to insufficiently strict bounds on Sync implementation for OnceCell (see Issue #โ€‹3)

    v0.2.1

    • updates docs to explicitly specify the concrete synchronization guarantees

    Configuration

    ๐Ÿ“… Schedule: Branch creation - "" (UTC), Automerge - At any time (no schedule defined).

    ๐Ÿšฆ Automerge: Disabled by config. Please merge this manually once you are satisfied.

    โ™ป Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

    ๐Ÿ”• Ignore: Close this PR and you won't be reminded about this update again.


    • [ ] If you want to rebase/retry this PR, click this checkbox.

    This PR has been generated by Mend Renovate. View repository job log here.

    opened by renovate[bot] 0
  • Update Rust crate futures-util to 0.3.21

    Update Rust crate futures-util to 0.3.21

    Mend Renovate

    This PR contains the following updates:

    | Package | Type | Update | Change | |---|---|---|---| | futures-util (source) | dependencies | patch | 0.3.4 -> 0.3.21 |


    Release Notes

    rust-lang/futures-rs

    v0.3.21

    Compare Source

    • Fix potential data race in FlattenUnordered that introduced in 0.3.20 (#โ€‹2566)

    v0.3.20

    Compare Source

    NOTE: This release has been yanked due to a bug fixed in 0.3.21.

    • Fix stacked borrows violations when -Zmiri-tag-raw-pointers is enabled. This raises MSRV of futures-task to 1.45. (#โ€‹2548, #โ€‹2550)
    • Change FuturesUnordered to respect yielding from future (#โ€‹2551)
    • Add StreamExt::{flatten_unordered, flat_map_unordered} (#โ€‹2083)

    v0.3.19

    Compare Source

    v0.3.18

    Compare Source

    NOTE: This release has been yanked. See #โ€‹2529 for details.

    • Fix unusable Sink implementation on stream::Scan (#โ€‹2499)
    • Make task::noop_waker_ref available without std feature (#โ€‹2505)
    • Add async LineWriter (#โ€‹2477)
    • Remove dependency on proc-macro-hack. This raises MSRV of utility crates to 1.45. (#โ€‹2520)

    v0.3.17

    Compare Source

    v0.3.16

    Compare Source

    v0.3.15

    Compare Source

    v0.3.14

    Compare Source

    v0.3.13

    Compare Source

    v0.3.12

    Compare Source

    • Fixed Unpin impl of future::{MaybeDone, TryMaybeDone} where trait bounds were accidentally added in 0.3.9. (#โ€‹2317)

    v0.3.11

    Compare Source

    • Fixed heap buffer overflow in AsyncReadExt::{read_to_end, read_to_string} (#โ€‹2314)

    v0.3.10

    Compare Source

    NOTE: This release has been yanked. See #โ€‹2310 for details.

    • Fixed type-inference in sink::unfold by specifying more of its types (breaking change -- see #โ€‹2311)

    v0.3.9

    Compare Source

    NOTE: This release has been yanked. See #โ€‹2310 for details.

    v0.3.8

    Compare Source

    NOTE: This release has been yanked. See #โ€‹2310 for details.

    v0.3.7

    Compare Source

    NOTE: This release has been yanked. See #โ€‹2310 for details.

    v0.3.6

    Compare Source

    NOTE: This release has been yanked. See #โ€‹2310 for details.

    • Fixed UB due to missing 'static on task::waker (#โ€‹2206)
    • Added AsyncBufReadExt::fill_buf (#โ€‹2225)
    • Added TryStreamExt::try_take_while (#โ€‹2212)
    • Added is_connected_to method to mpsc::{Sender, UnboundedSender} (#โ€‹2179)
    • Added is_connected_to method to oneshot::Sender (#โ€‹2158)
    • Implement FusedStream for FuturesOrdered (#โ€‹2205)
    • Fixed documentation links
    • Improved documentation
    • futures-test: Added track_closed method to AsyncWriteTestExt and SinkTestExt (#โ€‹2159)
    • futures-test: Implemented more traits for InterleavePending (#โ€‹2208)
    • futures-test: Implemented more traits for AssertUnmoved (#โ€‹2208)

    v0.3.5

    Compare Source

    NOTE: This release has been yanked. See #โ€‹2310 for details.

    • Added StreamExt::flat_map.
    • Added StreamExt::ready_chunks.
    • Added *_unpin methods to SinkExt.
    • Added a cancellation() future to oneshot::Sender.
    • Added reunite method to ReadHalf and WriteHalf.
    • Added Extend implementations for Futures(Un)Ordered and SelectAll.
    • Added support for reexporting the join! and select! macros.
    • Added no_std support for the pending! and poll! macros.
    • Added Send and Sync support for AssertUnmoved.
    • Fixed a bug where Shared wasn't relinquishing control to the executor.
    • Removed the Send bound on the output of RemoteHandle.
    • Relaxed bounds on FuturesUnordered.
    • Reorganized internal tests to work under different --features.
    • Reorganized the bounds on StreamExt::forward.
    • Removed and replaced a large amount of internal unsafe.

    Configuration

    ๐Ÿ“… Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

    ๐Ÿšฆ Automerge: Disabled by config. Please merge this manually once you are satisfied.

    โ™ป Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

    ๐Ÿ”• Ignore: Close this PR and you won't be reminded about this update again.


    • [ ] If you want to rebase/retry this PR, click this checkbox.

    This PR has been generated by Mend Renovate. View repository job log here.

    opened by renovate[bot] 0
  • Configure Renovate

    Configure Renovate

    Mend Renovate

    Welcome to Renovate! This is an onboarding PR to help you understand and configure settings before regular Pull Requests begin.

    ๐Ÿšฆ To activate Renovate, merge this Pull Request. To disable Renovate, simply close this Pull Request unmerged.


    Detected Package Files

    • kernel/Cargo.toml (cargo)

    Configuration Summary

    Based on the default config's presets, Renovate will:

    • Start dependency updates only once this onboarding PR is merged
    • Enable Renovate Dependency Dashboard creation
    • If semantic commits detected, use semantic commit type fix for dependencies and chore for all others
    • Ignore node_modules, bower_components, vendor and various test/tests directories
    • Autodetect whether to pin dependencies or maintain ranges
    • Rate limit PR creation to a maximum of two per hour
    • Limit to maximum 10 open PRs at any time
    • Group known monorepo packages together
    • Use curated list of recommended non-monorepo package groupings
    • Fix some problems with very old Maven commons versions
    • Ignore spring cloud 1.x releases
    • Ignore web3j 5.0.0 release
    • Ignore http4s digest-based 1.x milestones
    • Use node versioning for @types/node
    • Limit concurrent requests to reduce load on Repology servers until we can fix this properly, see issue 10133
    • Do not upgrade from Alpine stable to edge

    ๐Ÿ”ก Would you like to change the way Renovate is upgrading your dependencies? Simply edit the renovate.json in this branch with your custom config and the list of Pull Requests in the "What to Expect" section below will be updated the next time Renovate runs.


    What to Expect

    With your current configuration, Renovate will create 6 Pull Requests:

    Update Rust crate futures-util to 0.3.21
    • Schedule: ["at any time"]
    • Branch name: renovate/rust-futures-monorepo
    • Merge into: main
    • Upgrade futures-util to 0.3.21
    Update Rust crate conquer-once to 0.3.2 [SECURITY]
    • Branch name: renovate/crate-conquer-once-vulnerability
    • Merge into: main
    • Upgrade conquer-once to 0.3.2
    Update Rust crate linked_list_allocator to 0.9.1
    • Schedule: ["at any time"]
    • Branch name: renovate/linked_list_allocator-0.x
    • Merge into: main
    • Upgrade linked_list_allocator to 0.9.1
    Update Rust crate spin to 0.9.3
    • Schedule: ["at any time"]
    • Branch name: renovate/spin-0.x
    • Merge into: main
    • Upgrade spin to 0.9.3
    Update Rust crate x86_64 to 0.14.9
    • Schedule: ["at any time"]
    • Branch name: renovate/x86_64-0.x
    • Merge into: main
    • Upgrade x86_64 to 0.14.9
    Update Rust crate bitvec to v1
    • Schedule: ["at any time"]
    • Branch name: renovate/bitvec-1.x
    • Merge into: main
    • Upgrade bitvec to 1.0

    ๐Ÿšธ Branch creation will be limited to maximum 2 per hour, so it doesn't swamp any CI resources or spam the project. See docs for prhourlylimit for details.


    โ“ Got questions? Check out Renovate's Docs, particularly the Getting Started section. If you need any further assistance then you can also request help here.


    This PR has been generated by Mend Renovate. View repository job log here.

    opened by renovate[bot] 0
  • Update all non-major dependencies

    Update all non-major dependencies

    Mend Renovate

    This PR contains the following updates:

    | Package | Type | Update | Change | |---|---|---|---| | linked_list_allocator (source) | dependencies | minor | 0.9.1 -> 0.10.1 | | spin | dependencies | patch | 0.9.3 -> 0.9.4 | | x86_64 | dependencies | patch | 0.14.9 -> 0.14.10 |


    Release Notes

    phil-opp/linked-list-allocator

    v0.10.1

    Compare Source

    v0.10.0

    Compare Source

    • Changed constructor to take *mut u8 instead of usize (#โ€‹62)
      • NOTE: Breaking API change
    • Reworked internals to pass Miri tests (#โ€‹62)
    mvdnes/spin-rs

    v0.9.4

    Fixed
    • Fixed unsoundness in RwLock on reader overflow
    • Relaxed Send/Sync bounds for SpinMutex and TicketMutex (doesn't affect Mutex itself)
    rust-osdev/x86_64

    v0.14.10

    Compare Source

    New Features

    • https://togithub.com/rust-osdev/x86_64/pull/286rust-osdev/x86_64/pull/286)
    • https://togithub.com/rust-osdev/x86_64/pull/373 constant on SegmentSelector](https://togithub.com/rust-osdev/x86_64/pull/373)
    • https://togithub.com/rust-osdev/x86_64/pull/385g](https://togithub.com/rust-osdev/x86_64/pull/385)

    Fixes

    • https://togithub.com/rust-osdev/x86_64/pull/375t-osdev/x86_64/pull/375)
    • https://togithub.com/rust-osdev/x86_64/pull/374ust-osdev/x86_64/pull/374)

    Other Improvements

    • https://togithub.com/rust-osdev/x86_64/pull/376rust-osdev/x86_64/pull/376)
    • https://togithub.com/rust-osdev/x86_64/pull/382/rust-osdev/x86_64/pull/382)

    Configuration

    ๐Ÿ“… Schedule: Branch creation - "before 4am every weekend" in timezone Asia/Tokyo, Automerge - At any time (no schedule defined).

    ๐Ÿšฆ Automerge: Disabled due to failing status checks.

    โ™ป Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

    ๐Ÿ‘ป Immortal: This PR will be recreated if closed unmerged. Get config help if that's undesired.


    • [ ] If you want to rebase/retry this PR, click this checkbox.

    This PR has been generated by Mend Renovate. View repository job log here.

    dependencies renovate 
    opened by renovate[bot] 0
  • ใƒšใƒผใ‚ธใƒ•ใƒฌใƒผใƒ ็ฎก็†

    ใƒšใƒผใ‚ธใƒ•ใƒฌใƒผใƒ ็ฎก็†

    ใƒšใƒผใ‚ธใƒ•ใƒฌใƒผใƒ ใ‚’็ฎก็†ใ™ใ‚‹ใ€‚

    ๅฎŸ่ฃ…ๆ–น้‡

    • ใƒ“ใƒƒใƒˆใƒžใƒƒใƒ—ใ‚’็ขบไฟใ—ใฆ็ฎก็†
    • ่ตทๅ‹•็›ดๅพŒใฏๆ’็ญ‰ใƒžใƒƒใƒ”ใƒณใ‚ฐใซใชใฃใฆใ„ใ‚‹ใฎใงใ€ใƒšใƒผใ‚ธใƒ†ใƒผใƒ–ใƒซใ‚’่ฆ‹ใฆใฉใ“ใŒไฝฟใ‚ใ‚Œใฆใ„ใ‚‹ใ‹็ขบ่ช

    ๅฎŸ่ฃ…ใ™ใ‚‹ใ“ใจ

    • [x] ใƒšใƒผใ‚ธใƒ•ใƒฌใƒผใƒ ใ‚’็ฎก็†ใ™ใ‚‹ใƒ“ใƒƒใƒˆใƒžใƒƒใƒ—ใ‚’ๅฎš็พฉ
    • [x] ใƒ“ใƒƒใƒˆใƒžใƒƒใƒ—ใ‚’็ขบไฟ
    • [ ] ใƒšใƒผใ‚ธใƒ†ใƒผใƒ–ใƒซใ‚’็ขบ่ชใ—ใฆไฝฟ็”จ้ ˜ๅŸŸใ‚’ๆŠŠๆก
    • [ ] ใƒ“ใƒƒใƒˆใƒžใƒƒใƒ—ใ‚’ๆ›ดๆ–ฐ
    • [ ] ๆฌกใฎใƒฆใƒผใƒ†ใ‚ฃใƒชใƒ†ใ‚ฃใ‚’ไฝœๆˆ
      • [ ] ใƒ“ใƒƒใƒˆใƒžใƒƒใƒ—ใ‚’็ขบ่ชใ™ใ‚‹้–ขๆ•ฐ
      • [ ] ใƒ“ใƒƒใƒˆใƒžใƒƒใƒ—ใ‚’ไบˆ็ด„ใ™ใ‚‹้–ขๆ•ฐ
      • [ ] ใƒ“ใƒƒใƒˆใƒžใƒƒใƒ—ใ‹ใ‚‰ๅ‰Š้™คใ™ใ‚‹้–ขๆ•ฐ
    opened by Totsugekitai 0
  • Dependency Dashboard

    Dependency Dashboard

    This issue lists Renovate updates and detected dependencies. Read the Dependency Dashboard docs to learn more.

    Open

    These updates have all been created already. Click a checkbox below to force a retry/rebase of any.

    Detected dependencies

    cargo
    kernel/Cargo.toml
    • log 0.4
    • x86_64 0.14.9
    • spin 0.9.3
    • lazy_static 1.4.0
    • arrayvec 0.7.2
    • linked_list_allocator 0.9.1
    • crossbeam 0.8.1
    • conquer-once 0.3.2
    • futures-util 0.3.21
    • bitvec 1.0
    • bitflags 1.3.2
    github-actions
    .github/actions/cache_cargo/action.yaml
    • actions/cache v3
    .github/workflows/ci.yaml
    • actions/checkout v3
    • actions/checkout v3
    • actions/checkout v3

    • [ ] Check this box to trigger a request for Renovate to run again on this repository
    opened by renovate[bot] 0
Owner
Tomoyuki HIROSE
coins18
Tomoyuki HIROSE
A lightning fast version of tmux-fingers written in Rust, copy/pasting tmux like vimium/vimperator

tmux-thumbs A lightning fast version of tmux-fingers written in Rust for copy pasting with vimium/vimperator like hints. Usage Press ( prefix + Space

Ferran Basora 598 Jan 2, 2023
A command-line tool collection to assist development written in RUST

dtool dtool is a command-line tool collection to assist development Table of Contents Description Usage Tips Installation Description Now dtool suppor

GB 314 Dec 18, 2022
Simple ray tracer written in Rust

Simple ray tracer written in Rust from scratch I've just finished my first semester at the Faculty of Applied Mathematics and Computer Science at the

Vladislav 190 Dec 21, 2022
BSV stdlib written in Rust and runs in WASM environments

BSV.WASM A Rust/WASM Library to interact with Bitcoin SV Installation NodeJS: npm i bsv-wasm --save Web: npm i bsv-wasm-web --save Rust: https://crate

null 56 Dec 15, 2022
Basically a KrabsETW rip-off written in Rust

FerrisETW ?? Basically a KrabsETW rip-off written in Rust, hence the name Ferris ?? All credits go to the team at Microsoft who develop KrabsEtw, with

n4r1B 25 Dec 21, 2022
A wasm interpreter written by rust

A wasm interpreter written by rust

nasa 69 Dec 6, 2022
Rustymind is a driver and parser for NeuroSky MindWave EEG headset written in pure Rust.

Rustymind is a driver and parser for NeuroSky MindWave EEG headset written in pure Rust. You can use it to connect, interact, and plot real time data from the headset.

Junjun Dong 34 Sep 13, 2022
a wasm interpreter written by rust

wai (WebAssembly interpreter) A simple wasm interpreter This is an ongoing project DEMO 2021-06-27.10.23.18.mov Install Install via Homebrew brew inst

nasa 69 Dec 6, 2022
Simple Spreadsheet editor written in Rust

Rexcel Simple Spreadsheet editor written in Rust Keyboard Shortcuts: CTRL + S => Save CTRL + Q => Quit CTRL + W +> Save And Quit CTRL + ALT + S => Sav

Saulane 16 Dec 1, 2022
Re-implementation of Panda Doodle in Rust targetting WASM, a mobile game originally written in C++

Description This is the source code of my game Panda Doodle, which can be played at https://pandadoodle.lucamoller.com/ (it's best playable on touch s

null 79 Dec 5, 2022
Utilities to gather data out of roms. Written in Rust. It (should) support all types.

snesutilities Utilities to gather data out of roms. Written in Rust. It (should) support all types. How Have a look at main.rs: use snesutilities::Sne

Layle | Luca 5 Oct 12, 2022
A program written in pure Rust to query music info from mpd and display it in a notification.

musinfo A program written in pure Rust to query music info from mpd and display it in a notification. Note: Cover art is expected to be placed at /tmp

Cpt.Howdy 10 Aug 16, 2022
แŽฉแŽฆแŽจแŽข (IPA: [gigagei]) is a random quote fetching console utility. Written in Rust.

gigagei แŽฉแŽฆแŽจแŽข (IPA: [gigagei]) is a random quote fetching console utility. Written in Rust. Installing Use latest pre-built binary from releases Buildi

veleth 10 Jun 17, 2022
A rewrite of Phonelink for Windows Forms written in Rust, with cross-platform support.

phonelink-rs A rewrite of Phonelink for Windows Forms written in Rust, with cross-platform support. Usage Clone the repository and build, or download

ahsan-a 4 Aug 6, 2022
A simple omegle API written in Rust

omegalul-rs omegalul-rs is a work-in-progress opensource library for building Omegle clients. Features Current Features Fetching random server from om

NV6 5 Jun 21, 2022
rustBoot is a standalone bootloader, written entirely in Rust

rustBoot is a standalone bootloader, written entirely in Rust, designed to run on anything from a microcontroller to a system on chip. It can be used to boot into bare-metal firmware or Linux.

null 78 Dec 28, 2022
ASM moulinette written in Rust(๐Ÿš€)

BFM: The Blazing Fast Moulinette ASM moulinette written in Rust( ?? ) Build with cargo build, run with cargo run -- <flags> <args> Flags: -h or --help

Timothรฉe Denizou 5 Sep 17, 2021
Simplified glue code generation for Deno FFI libraries written in Rust.

deno_bindgen This tool aims to simplify glue code generation for Deno FFI libraries written in Rust. Quickstart # install CLI deno install -Afq -n den

Divy Srivastava 173 Dec 17, 2022
MIPS assembler written in Rust

frasm MIPS assembler written in Rust About frasm is an assembler written in Rust speicifally for the MIPs architecture. This is my first time writing

Jacob Mealey 3 Oct 23, 2022