#include <linux/module.h>
#include <linux/printk.h>
#include <linux/spinlock.h>

#define MODULE_NAME "ded"

void grave(void)
{
	BUG();
}

int ded_init(void)
{
	grave();
	return 0;
}

void ded_exit(void)
{
	pr_info("we survived somehow\n");
}

module_init(ded_init);
module_exit(ded_exit);

MODULE_LICENSE("GPL");
MODULE_DESCRIPTION(MODULE_NAME);
MODULE_AUTHOR("cs4118-dev-guides");
