issues
search
au-ts
/
lionsos
A secure, fast, and adaptable OS based on the seL4 microkernel
https://lionsos.org
BSD 2-Clause "Simplified" License
79
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
sDDF compatibiity changes for LionsOS Kitty example
#81
wom-bat
opened
5 days ago
0
Micropython makefile: remove target suffix from libmicrokitco object file
#80
dreamliner787-9
closed
1 week ago
0
ci: remove old script
#79
Ivan-Velickovic
closed
3 weeks ago
0
examples: always compile with optimisations
#78
Ivan-Velickovic
opened
3 weeks ago
0
Correctly use path buffers when renaming
#77
Kappamalone
closed
3 weeks ago
1
Make FS protocol more explicit
#76
JE-Archer
opened
3 weeks ago
0
FS fixes
#75
JE-Archer
closed
1 month ago
0
Remove 'sddf' prefix from file system API
#74
Ivan-Velickovic
closed
1 month ago
0
Support for Micropython Keyboard Interrupts
#73
Kswin01
opened
1 month ago
2
Substitute libco for libmicrokitco to perform blocking I/O in Micropython
#72
dreamliner787-9
closed
1 week ago
3
Filesystem fixes
#71
JE-Archer
closed
1 month ago
0
micropython: don't use printf 'h' format specifiers
#70
JE-Archer
closed
1 month ago
0
Kitty submodules
#69
Kswin01
closed
1 month ago
5
Use appropriate size for i2c memory regions.
#68
Kswin01
opened
1 month ago
2
Update Kitty UI
#67
Kswin01
closed
3 weeks ago
0
Kitty tap improvement
#66
Kswin01
closed
1 month ago
0
kitty: change kitty font to inter font
#65
Kswin01
closed
1 month ago
0
kitty: add kitty files to mp frozen manifest
#64
Kswin01
closed
1 month ago
0
Support extra caching headers in webserver
#63
JE-Archer
closed
1 month ago
0
Minor fixes and improvements for Kitty
#62
Ivan-Velickovic
opened
2 months ago
2
Update to latest sDDF
#61
Kswin01
closed
2 months ago
1
FAT (File Allocation Table) file system for Lions OS
#60
Cheng-Li1
opened
2 months ago
0
ci: create script for building all the examples
#59
Ivan-Velickovic
closed
2 months ago
0
QEMU support for LionsOS
#58
Kswin01
opened
2 months ago
3
Webserver example system
#57
JE-Archer
closed
2 months ago
4
dummy PR
#56
Ivan-Velickovic
closed
2 months ago
0
dep: update libvmm
#55
Ivan-Velickovic
closed
2 months ago
0
ci: use a script instead of commands inside the workflow
#54
Ivan-Velickovic
closed
2 months ago
0
Restructure repository
#53
JE-Archer
closed
2 months ago
0
Polished documentation and tutorials
#52
Ivan-Velickovic
opened
2 months ago
0
ci: various cleanup
#51
Ivan-Velickovic
closed
2 months ago
0
Preliminary work to enable webserver
#50
JE-Archer
closed
2 months ago
1
Make building Kitty simpler
#49
Ivan-Velickovic
opened
3 months ago
1
Integrate standard libc
#48
Ivan-Velickovic
opened
3 months ago
2
Repository size is too large
#47
Ivan-Velickovic
opened
3 months ago
0
Add QEMU support for Kitty example system
#46
Ivan-Velickovic
opened
3 months ago
0
kitty: pass absolute path of build directory
#45
Ivan-Velickovic
closed
3 months ago
0
Move scripts around, remove old script
#44
Ivan-Velickovic
closed
3 months ago
0
Update sDDF to 0.4.0
#43
Ivan-Velickovic
closed
3 months ago
0
kitty: small UI change in client
#42
Ivan-Velickovic
closed
3 months ago
0
Redo README for release
#41
Ivan-Velickovic
closed
3 months ago
0
Check in all client and server scripts
#40
Ivan-Velickovic
closed
3 months ago
0
One more compiler warning
#39
wom-bat
closed
3 months ago
1
Minor cleanup
#38
Ivan-Velickovic
closed
3 months ago
0
Micropython: freeze asyncio into image
#37
JE-Archer
closed
3 months ago
0
kitty: map framebuffer as cached
#36
Ivan-Velickovic
closed
3 months ago
0
Fix compiler warnings
#35
wom-bat
closed
3 months ago
4
Update to latest sDDF again
#34
Ivan-Velickovic
closed
3 months ago
0
Get libgcc.a and libm.a automatically
#33
wom-bat
closed
3 months ago
0
Update to latest sDDF
#32
Ivan-Velickovic
closed
3 months ago
1
Next