pub fn set_global_allocator_mutex_notification(nfn: Notification)
Expand description
Provides the global allocator with a sel4::cap::Notification
to use as a mutex..
Until this function is used, contention in the global allocator will result in a panic. This is only useful for multi-threaded root tasks.