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 30 days 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 4 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 6 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 6 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 6 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 6 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 6 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 6 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 6 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 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
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 about 1 year ago
bug good first issue firewall
au-ts/lionsos
259

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

C