issues
search
HobbesOSR
/
kitten
Kitten Lightweight Kernel
Other
52
stars
19
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add support for cpio based initrd images
#16
jarusl
closed
1 year ago
0
Add support for cpio based initrd images
#15
jarusl
closed
1 year ago
0
Cpio init
#14
jarusl
closed
1 year ago
0
Cpio init
#13
jarusl
closed
1 year ago
0
Build fixes and some I/O functionality for the ARM64 architecture
#12
jarusl
closed
1 year ago
0
Build fixes and some I/O functionality for the ARM64 architecture
#11
jarusl
closed
1 year ago
0
arch/tlbflush.h not found
#10
Anderson-Cooper
opened
2 years ago
0
gettid() is available in glibc >= 2.30
#9
friedy10
closed
2 years ago
0
Made changes to hello_world
#8
friedy10
closed
2 years ago
0
Wiki mentioned in README located at Sandia website missing
#7
gorgonical
closed
5 years ago
1
Strange behavior from stderr
#6
npe9
closed
5 years ago
1
Add support for grub2.
#5
NathanTP
closed
8 years ago
0
pthread_cond_timedwait never times out
#4
npe9
closed
8 years ago
1
Fix build error on Ubuntu w/ gcc 4.9+.
#3
adk9
closed
8 years ago
0
Fixed bug on anonymous inode creator
#2
sporgj
closed
8 years ago
1
Added support for syslinux 6
#1
stelleg
closed
9 years ago
0