Closed axel-h closed 2 years ago
This include file is deprecated since 2016, and it seems there's nothing in there that is needed. Removing the reference here is a preparation to delete this file from the kernel includes completely, see https://github.com/seL4/seL4/issues/813
This include file is deprecated since 2016, and it seems there's nothing in there that is needed. Removing the reference here is a preparation to delete this file from the kernel includes completely, see https://github.com/seL4/seL4/issues/813