Re: [PATCH 1/6] Make linux drivers optional

2021-03-28 Thread Samuel Thibault
Damien Zammit, le dim. 28 mars 2021 17:03:15 +1100, a ecrit: > diff --git a/linux/configfrag.ac b/linux/configfrag.ac > index 78b59d7f..6fb60935 100644 > --- a/linux/configfrag.ac > +++ b/linux/configfrag.ac > @@ -33,6 +33,8 @@ dnl USE OF THIS SOFTWARE. > '') ># No group. >:;;

Re: [PATCH 1/6] Make linux drivers optional

2021-03-28 Thread Samuel Thibault
Damien Zammit, le dim. 28 mars 2021 17:03:15 +1100, a ecrit: > @@ -26,6 +27,18 @@ > queue_head_t main_intr_queue; > static boolean_t deliver_intr (int id, ipc_port_t dst_port); > > +#ifndef LINUX_DEV > +#define SA_SHIRQ 0x0400 > +#define EBUSY 16 > + > +struct intr_list { > + user_intr_t *

[PATCH 1/6] Make linux drivers optional

2021-03-27 Thread Damien Zammit
Defaults to build with linux drivers. To build without linux drivers, use: --enable-block-group=no --enable-net-group=no --enable-scsi-group=no --enable-wireless-group=no --enable-pcmcia-group=no --- device/intr.c | 91 + linux/configfrag.ac | 32