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
Additional small NAT fixes 16 days ago
good first issue firewall
au-ts/lionsos
259

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

C
Improve the firewall automated testing 3 months 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 6 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 7 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 8 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 8 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 8 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 8 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 8 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 about 1 year 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 about 1 year 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