Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 2, 2025

• CI: Only push containers if on main branch (#35)

  Show description for 4391a01
  xarantolus

  authored
  4391a01

  Copy full SHA for 4391a01

Commits on Nov 1, 2025

• Switch to faster st-info fork (#31)

  Show description for fd86fb8
  

  CreaxxOG

  and

  xarantolus

  authored
  fd86fb8

  Copy full SHA for fd86fb8

Commits on Oct 31, 2025

• Add contributing section to README (#33)

  thomasw04

  authored
  1fb3b59

  Copy full SHA for 1fb3b59

Commits on Oct 24, 2025

• Use CMD instead of entrypoint

  Show description for 4297ec1
  xarantolus

  committed
  4297ec1

  Copy full SHA for 4297ec1

Commits on Oct 21, 2025

• Relicense under MIT and Apache 2.0 (#30)

  Show description for c22e4cd
  F42J

  authored
  c22e4cd

  Copy full SHA for c22e4cd

Commits on Oct 16, 2025

• Export and merge compile_commands properly, switch to ninja (#28)

  Show description for fb87a66
  thomasw04

  authored
  fb87a66

  Copy full SHA for fb87a66

Commits on Oct 11, 2025

• Add dropdown menus to config tool (#26)

  Show description for 0570326
  

  Friendly-Banana

  and

  thomasw04

  authored
  0570326

  Copy full SHA for 0570326

Commits on Sep 21, 2025

• Build system rewrite, Config tool, HAL abstraction, fixes. (#25)

  Show description for 8c0bfa2
  thomasw04

  authored
  8c0bfa2

  Copy full SHA for 8c0bfa2

Commits on Jun 19, 2025

• Make description more general.

  thomasw04

  authored
  5eac654

  Copy full SHA for 5eac654

Commits on Jun 14, 2025

• Remove old hal. Add CubeL4 hal for stm32l4xx. Add printing, backtraces, fault handling, benchmarking. (#24)

  Show description for 5b0af48
  

  thomasw04

  and

  F42J

  authored
  5b0af48

  Copy full SHA for 5b0af48

Commits on May 25, 2025

• Docker: improve caching, reduce size (#23)

  xarantolus

  authored
  d81bd81

  Copy full SHA for d81bd81

Commits on Apr 22, 2025

• updated hal submodule

  F42J

  committed
  85fd230

  Copy full SHA for 85fd230

Commits on Apr 3, 2025

• Make queue implementation growable (#20)

  Show description for 34ca1d6
  

  dominikw1

  and

  thomasw04

  authored
  34ca1d6

  Copy full SHA for 34ca1d6

• Upgrade rust edition, remove cbindgen (#22)

  Show description for 084bdad
  thomasw04

  authored
  084bdad

  Copy full SHA for 084bdad

Commits on Feb 18, 2025

• Merge pull request #14 from OsirisRTOS/feature/kernel-merge

  Show description for 9996060
  thomasw04

  authored
  9996060

  Copy full SHA for 9996060

• fix gitignore.

  thomasw04

  committed
  974499d

  Copy full SHA for 974499d

• remove rust_kernel property.

  thomasw04

  committed
  6dc2dd8

  Copy full SHA for 6dc2dd8

• Merge remote-tracking branch 'kernel/feature/kernel-merge' into feature/kernel-merge

  thomasw04

  committed
  854c3fb

  Copy full SHA for 854c3fb

• remove kernel submodule.

  thomasw04

  committed
  fc6e692

  Copy full SHA for fc6e692

• move files to prepare for merge.

  thomasw04

  committed
  b5b0341

  Copy full SHA for b5b0341

• Report code coverage change (#13)

  xarantolus

  authored
  bc7e394

  Copy full SHA for bc7e394

Commits on Feb 17, 2025

• Merge pull request #3 from OsirisRTOS/feature/test-coverage

  Show description for 29f9634
  thomasw04

  authored
  29f9634

  Copy full SHA for 29f9634

• CI: Formal verification and test coverage (#8)

  Show description for ca31133
  

  xarantolus

  and

  thomasw04

  authored
  ca31133

  Copy full SHA for ca31133

• small fix

  thomasw04

  committed
  a3330b5

  Copy full SHA for a3330b5

• Merge branch 'feature/test-coverage' of https://github.com/OsirisRTOS/kernel into feature/test-coverage

  thomasw04

  committed
  98b1f08

  Copy full SHA for 98b1f08

• kani: fix alloc proof and bugs in alloc.

  thomasw04

  committed
  fad7f40

  Copy full SHA for fad7f40

Commits on Feb 15, 2025

• Fix formatting

  xarantolus

  committed
  e4b4b84

  Copy full SHA for e4b4b84

• Add basic (failing) proofs to allocator

  xarantolus

  committed
  66011e3

  Copy full SHA for 66011e3

• Enable kani usage

  xarantolus

  committed
  8bded1e

  Copy full SHA for 8bded1e

• update submodules.

  thomasw04

  committed
  9e9518a

  Copy full SHA for 9e9518a

• update submodules.

  thomasw04

  committed
  c981f5b

  Copy full SHA for c981f5b

• Merge branch 'main' of github.com:OsirisRTOS/osiris

  thomasw04

  committed
  796db39

  Copy full SHA for 796db39

• update submodules.

  thomasw04

  committed
  f25704d

  Copy full SHA for f25704d

• update submodules.

  thomasw04

  committed
  f4a017d

  Copy full SHA for f4a017d

• Merge pull request #7 from OsirisRTOS/feature/actions

  Show description for 2098109
  thomasw04

  authored
  2098109

  Copy full SHA for 2098109

Pagination

Previous

Next