theseus-os/Theseus

Issues

• Theseus's lazy mapping strategy

  #1116 opened 11 days ago by akaganeite
  0

• don't know how to interact with Theseus

  #1114 opened a month ago by wlxjhyf
  2

• Build tlibc fail: no method named `lock` found for struct `Arc<dyn ImmutableWrite>`

  #1112 opened 2 months ago by Marsman1996
  0

• Does not get as far as shell prompt on AArch64

  #1049 opened a year ago by egrimley-arm
  9

• Boot failed when build from docker

  #1110 opened 3 months ago by Marsman1996
  0

• `MappedPages` is unsound when the backing memory is MMIO or DMA regions

  #1107 opened 4 months ago by tatetian
  0

• Is this a soundness issue in Ixgbe driver?

  #1106 opened 4 months ago by tatetian
  0

• data-layout for target `x86_64-unknown-theseus`, `e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128`, differs from LLVM target's `x86_64-unknown-none-elf` default layout, `e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128` (+ other errors)

  #1100 opened 6 months ago by JustAnotherCodemonkey
  7

• make: *** [cargo] Error 101

  #1076 opened 6 months ago by ShaunLinTW
  10

• Live Evolution Evaluation

  #1099 opened 6 months ago by Godones
  1

• Experiment with using `tracing` instead of `log`

  #1014 opened a year ago by kevinaboos
  6

• Use Nix for building the project

  #1098 opened 8 months ago by Archisman-Mridha
  1

• Add safety doc

  #810 opened 2 years ago by amab8901
  0

• Network management UI: system default proxy all traffic throughout the system

  #1097 opened a year ago by Pantyhose-X
  5

• Replace Round Robin scheduling with The Multi-Level Feedback Queue

  #1096 opened a year ago by jklott
  0

• Use Cargo's workspace dependency feature

  #1093 opened a year ago by tsoutsman
  0

• mlx3

  #1091 opened a year ago by YtvwlD
  0

• Build and publish Theseus documentation for aarch64

  #920 opened 2 years ago by NathanRoyer
  1

• Use MMIO mechanism to access PCI [extended] config space on x86_64

  #1058 opened a year ago by kevinaboos
  0

• Follow-up improvements to aarch64 FIQ support

  #1047 opened a year ago by kevinaboos
  1

• Theseus fails to boot if built on non-English locale

  #1053 opened a year ago by YtvwlD
  5

• `test_channel` bug (deadlock?)

  #924 opened a year ago by amab8901
  1

• Attempt to remove runtime `match` statement for `Frames` const generic state

  #1017 opened a year ago by kevinaboos
  1

• Potential infinite loop bug in ixgbe driver

  #960 opened 2 years ago by Hoblovski
  5

• page_allocator: use `RbTree`'s `Entry` API for deallocation

  #971 opened 2 years ago by kevinaboos
  0

• Question: application upd

  #902 opened 2 years ago by mdochdev
  1

• Switch all bitfields to bilge, take notes

  #963 opened 2 years ago by hecatia-elegua
  2

• Moving PS/2 mouse and typing at the same time

  #832 opened 2 years ago by hecatia-elegua
  2

• Finish porthole, our new graphics api (and window manager)

  #956 opened 2 years ago by hecatia-elegua
  0

• Makefile error: `multiple target patterns. Stop.`

  #945 opened 2 years ago by aghoneim92
  1

• Upcoming `tlb_shootdown` improvements

  #914 opened 2 years ago by kevinaboos
  1

• Add tests for `async_channel`

  #916 opened 2 years ago by amab8901
  1

• Eliminate CPU waste

  #912 opened 2 years ago by amab8901
  1

• Enable scrolling via the mouse wheel

  #867 opened 2 years ago by amab8901
  3

• Add documentation/comments to infinite loops

  #808 opened 2 years ago by amab8901
  1

• Support single-core machines

  #778 opened 2 years ago by tsoutsman
  3

• aarch64 init ends with `Missing/invalid symbol expected from assembly code "ap_start_realmode"`

  #849 opened 2 years ago by kavan-mevada
  6

• Replace Make with Cargo

  #873 opened 2 years ago by amab8901
  1

• Questions about theseus_cargo

  #852 opened 2 years ago by crazyboycjr
  6

• Mitigate risk of getting stuck inside QEMU

  #862 opened 2 years ago by amab8901
  4

• add support for unicode

  #864 opened 2 years ago by amab8901
  0

• Support non-English keyboards

  #863 opened 2 years ago by amab8901
  1

• Compilation failed for aarch64

  #848 opened 2 years ago by kavan-mevada
  2

• About SGX application in Theseus

  #844 opened 2 years ago by fantas1a
  1

• Update `rust-toolchain` file to new standard with `target` support

  #807 opened 2 years ago by kevinaboos
  0

• Flesh out `Error` type in `random`

  #793 opened 2 years ago by kevinaboos
  0

• Undefined behaviour in `MappedPages::as_type(_mut)`

  #791 opened 2 years ago by tsoutsman
  1

• Error 127

  #782 opened 2 years ago by amab8901
  1

• `make view-book` creates book when it already exists

  #779 opened 2 years ago by amab8901
  10

• "failed to load source for dependency `backtrace`

  #775 opened 2 years ago by amab8901
  2