Issues
- 0
- 0
Integrate checkpatch and llvm code formatter
#454 opened by gparmer - 1
config-gen `CPU_GHZ` failed with AMD CPU
#434 opened by mlouielu - 0
Some duplicated include paths in Makefile
#418 opened by betahxy - 1
- 0
memmgr_heap_page_allocn() return non-present page
#420 opened by msdx321 - 0
Unify and simplify component initialization functions
#416 opened by gparmer - 0
- 0
- 0
Channels initialization synchronization issue
#408 opened by phanikishoreg - 0
- 0
Type check not properly inserted into boot code
#406 opened by gparmer - 0
Scheduler events for (hierarchical) tcaps
#387 opened by phanikishoreg - 0
Updating the scheduling library
#385 opened by gparmer - 1
System life-cycle driven by run-scripts
#353 opened by gparmer - 3
- 0
Core-local retyping facilities
#381 opened by hungry-foolish - 1
ad has 2d's
#380 opened - 0
Aggressive system call/interrupt preemption path optimization techniques
#379 opened by hungry-foolish - 0
- 0
Page Table Interface Design
#374 opened by hungry-foolish - 0
- 0
Unbounded IPI processing on a receiving core
#373 opened by phanikishoreg - 0
PCI Manager Component
#360 opened by hjaensch7 - 0
Hardware capability enhancements
#370 opened by hungry-foolish - 1
- 0
- 0
Specialization of interface stub code loaded into client/server, based on server's specification
#352 opened by gparmer - 2
Clean up `src/components/lib/`
#364 opened by gparmer - 1
3 step protocol for cap active needs to be fixed
#363 opened by WenyuanShao - 0
Namespace control of the liveness table
#359 opened by gparmer - 0
Access control bits to constrain resource operations
#358 opened by gparmer - 0
- 0
SINV needs to decouple the captbl that the component is in, and the captbl the sinv is created in
#351 opened by gparmer - 1
Strange issue between linking and virtio
#340 opened by RobertGiff - 0
- 1
Thread ID management by capmgr
#329 opened by phanikishoreg - 1
Use of cbuf_t for shared memory IDs in capmgr
#327 opened by phanikishoreg - 1
boot_deps.h abstraction is lost
#326 opened by phanikishoreg - 2
Make init cannot find platform id
#319 opened by hjaensch7 - 0
- 0
- 1
- 0
enable ability to remove TLS from musl
#307 opened by gparmer - 0
Autoformatting works on very few machines
#357 opened by Others - 0
Document issues process.
#356 opened by gparmer - 5
When using sl lib, all sl libraries must be linked, even when just a single lib is needed
#338 opened by RobertGiff - 0
Creation of only capmgr INITTHD by the booter
#331 opened by phanikishoreg - 0
Callbacks for AEP threads
#330 opened by phanikishoreg - 1
Udpserver init thread allocation change
#305 opened by RobertGiff