au-ts

au-ts/lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel

259 stars 45 forks 259 watchers C BSD 2-Clause "Simplified" License
View on GitHub Website
12 Open Issues Need Help Last updated: Aug 19, 2026

Open Issues Need Help

View All on GitHub
Improve the firewall automated testing 1 day ago
good first issue firewall testing
au-ts/lionsos
259

A secure, fast, and adaptable OS based on the seL4 microkernel

C
Include the entire IPv4 header in our ICMP packets generated by the ICMP module 3 months ago
good first issue firewall
au-ts/lionsos
259

A secure, fast, and adaptable OS based on the seL4 microkernel

C
Test the firewall with more than one interface 5 months ago
good first issue firewall testing
au-ts/lionsos
259

A secure, fast, and adaptable OS based on the seL4 microkernel

C
Distinguish the two cases between Host unreachable and Network Unreachable 5 months ago
good first issue firewall
au-ts/lionsos
259

A secure, fast, and adaptable OS based on the seL4 microkernel

C
Additional small NAT fixes 5 months ago
good first issue firewall
au-ts/lionsos
259

A secure, fast, and adaptable OS based on the seL4 microkernel

C
Implement ICMP redirects 5 months ago
good first issue firewall
au-ts/lionsos
259

A secure, fast, and adaptable OS based on the seL4 microkernel

C
Improve the ICMP module component 5 months ago
enhancement good first issue firewall
au-ts/lionsos
259

A secure, fast, and adaptable OS based on the seL4 microkernel

C
Display the network interface that routes will be transmitted out of 5 months ago
good first issue firewall minor improvement
au-ts/lionsos
259

A secure, fast, and adaptable OS based on the seL4 microkernel

C
Protect against DOS attacks due to flooding rejected traffic 5 months ago
good first issue firewall
au-ts/lionsos
259

A secure, fast, and adaptable OS based on the seL4 microkernel

C
Make the web UI prettier 10 months ago
good first issue firewall major improvement
au-ts/lionsos
259

A secure, fast, and adaptable OS based on the seL4 microkernel

C
Improve how the web page source code is structured 11 months ago
good first issue firewall major improvement
au-ts/lionsos
259

A secure, fast, and adaptable OS based on the seL4 microkernel

C
Broadcast traffic handling in the Firewall 12 months ago
bug good first issue firewall
au-ts/lionsos
259

A secure, fast, and adaptable OS based on the seL4 microkernel

C