search

seL4 / sel4test

Test suite for seL4.
http://sel4.systems
Other
25 stars 61 forks source link

Change PT0002 for aarch32 and add new tests related to overmapping #88

Open alwin-joshy opened 1 year ago

alwin-joshy commented 1 year ago

Test with: seL4/seL4#967