raspberry3_bare/static_tools.h

#pragma once

int __attribute__((section("static_tools"))) copy_kernel();