Re: How do I build an x32 Intel system?

Morgan Hill

Other than the first one, I don't know whether these are correct, or
where I
originally got them, or if there's a stock .cfg file that does all
I'm not familiar with x32 myself but Debian has an x32port which should
give you a working kernel config to start from.



<>*HOLOPLOT GmbH - Headquarters*

Ringbahnstr. 12
(10-14) / A2

12099 Berlin, Germany

+49 (0) 30 40745812

- Manufacturing*

Alboinstr. 17-23 / Hall 12

12103 Berlin, Germany

(0) 30 959988740 <>

Follow us on

Roman Sick – CEO | HRB183974B, Register Court Charlottenburg, Germany |
EU Tax-Registration No. DE277000701 This e-mail contains confidential
and/or privileged information. If you are not the intended recipient (or
have received this e-mail in error) please notify the sender immediately
and destroy this e-mail. Any unauthorized copying, disclosure or
distribution of the information in this e-mail is strictly forbidden.

Join to automatically receive all group messages.