issues
search
twizzler-operating-system
/
twizzler
The Twizzler Operating System
BSD 3-Clause "New" or "Revised" License
66
stars
14
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Implement testing ci
#55
dbittman
closed
2 years ago
0
Dbittman hotfix xtask doc
#54
dbittman
closed
2 years ago
0
Don't force re-bootstrap for generating docs.
#53
dbittman
closed
2 years ago
0
Create build-and-test.yml
#52
dbittman
closed
2 years ago
0
Update build-and-test.yml
#51
dbittman
closed
2 years ago
0
Update build-and-test.yml
#50
dbittman
closed
2 years ago
0
Update build-and-test.yml
#49
dbittman
closed
2 years ago
0
Create build-and-test.yml
#48
dbittman
closed
2 years ago
0
Create build-and-test.yml
#47
dbittman
closed
2 years ago
0
Overhaul xtask's design, and add basic support for automated testing.
#46
dbittman
closed
2 years ago
0
Change the fork advice.
#45
gvnn3
closed
2 years ago
0
Twizzler Fundamentals and Primitives Documentation
#44
ariadiamond
closed
2 years ago
0
Short, first, draft of development methodology.
#43
gvnn3
closed
2 years ago
0
When sys_thread_sync returns from timeout, return Err(timeout) instead of Ok(0).
#42
dbittman
closed
4 months ago
0
Signal CPU wakeup when new timeout specified that is sooner than current wakeup.
#41
dbittman
opened
2 years ago
0
Sanitize kernel tls
#40
abenetopoulos
closed
2 years ago
0
Fix initialization of boot processor id
#39
abenetopoulos
closed
2 years ago
0
Add implementation of thread_sync syscall.
#38
dbittman
closed
2 years ago
0
Documentation build fails on README.md
#37
gvnn3
opened
2 years ago
0
Test framework for kernel (and user-level OS services)
#36
dbittman
closed
2 years ago
3
A more portable disk image generation
#35
dbittman
opened
2 years ago
1
Document development process
#34
dbittman
opened
2 years ago
0
Stabilize the user-view of address spaces
#33
dbittman
opened
2 years ago
0
Implement TLB coherence
#32
dbittman
closed
5 months ago
3
Finish page-fault algorithm
#31
dbittman
opened
2 years ago
0
Support pending object data
#30
dbittman
opened
2 years ago
0
Upcall support
#29
dbittman
closed
5 months ago
0
Stabilize basic object creation and mapping
#28
dbittman
closed
5 months ago
0
Stabilize thread lifetime calls
#27
dbittman
closed
5 months ago
0
Implement core functionality: thread-sync
#26
dbittman
closed
5 months ago
0
Stabilize twizzler-abi slot management
#25
dbittman
closed
5 months ago
0
Time is hard
#24
dbittman
closed
2 years ago
0
Kernel assumes BSP is #0
#23
dbittman
closed
2 years ago
2
Fix kernel thread-local storage allocation
#22
dbittman
closed
2 years ago
1
Scheduler enhancements mk1
#21
dbittman
opened
2 years ago
0
Dedicated kernel stack allocator
#20
dbittman
opened
2 years ago
0
Verify pointers from userspace
#19
dbittman
opened
2 years ago
0
aarch64 port
#18
dbittman
opened
2 years ago
2
AMD support
#17
dbittman
opened
2 years ago
0
Device model mk1
#16
dbittman
opened
2 years ago
0
Fallible allocation in-kernel
#15
dbittman
opened
2 years ago
0
Remove dependence on the x86_64 crate
#14
dbittman
opened
2 years ago
0
Improve Twizzler support in gimli
#13
dbittman
opened
2 years ago
0
Upstreaming toolchain changes for Twizzler support
#12
dbittman
opened
2 years ago
0
Better global allocator for twizzler-abi
#11
dbittman
opened
2 years ago
0
libunwind has no locking primitives
#10
dbittman
opened
2 years ago
0
twizzler-abi should not use global data
#9
dbittman
opened
2 years ago
0
More flexible object copy primitives
#8
dbittman
closed
5 months ago
1
Move idle CPUs to lower power states
#7
dbittman
opened
2 years ago
0
Avoid scheduler hard-ticking in some cases
#6
dbittman
opened
2 years ago
0
Previous
Next