search

ssrg-vt / popcorn-kernel

Popcorn Linux kernel for distributed thread execution
Other
156 stars 22 forks source link

Typo on wiki #103

Closed hgsipiere closed 4 years ago

hgsipiere commented 4 years ago

Consider this page.

https://github.com/ssrg-vt/popcorn-kernel/wiki

It says 'What happens during the migrateion point', this is a typo.

This is a minor issue to bring up but I don't believe I can edit the wiki myself.